Fixed semantics of if_true and if_false.
Fixed syntax of `term'