is_cond : term -> bool
STRUCTURE
SYNOPSIS
Tests a term to see if it is a conditional.
DESCRIPTION
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.
SEEALSO
HOL  Trindemossen-1