Test unification functions