Bug fix -- binary_op_exp & priority of '%right THEN ELSE'