let
mk_inter a b = mk_ite a b (mk_empty())