unification performance improvements