let
e_bool c =
TERM
.e_cond c a_true a_false