let is_true a = (Term.eq a (mk_true))