debugging Unify