add unification tests