let term_mk_true () = Boolean.mk_true