faster boolean unification