is_cond
boolSyntax.is_cond : term -> bool
Tests a term to see if it is a conditional.
If M has the form if t then t1 else t2 then is_cond M returns
true If the term is not a conditional the result is false.
Failure
Never fails.