cool.cup with precedences