let mk_union a b = mk_ite a (mk_full()) b