Matches an if/then/else if (<cond: Term>) <thenp: Term> else <elsep: Term>
if (<cond: Term>) <thenp: Term> else <elsep: Term>