let e_cond c a b = TERM.e_cond c a b