let e_bool c = TERM.e_cond c a_true a_false