let
is_false a = (
Term
.eq a (mk_false()))