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