unify recursive var re-subst fix