Handle all variable pats in pattern unification.