For a conditional expression
e, the
condition of the expression is evaluated, if it is not already a
value, by rule
if_condition. If the
condition is true,
e
evaluates to the expression in the left branch, by rule
if_true. If the condition is
false,
e evaluates
to the expression in the right branch, by rule
if_false.