check for skolem escapes during higher-rank unification