an Unify that forgets about the termination issues