3.11.2. cond IF ... ELSE ... THEN

*FIXME:

bollean_value if then_part else else_part then