let
is_true a = (
Term
.eq a (mk_true()))