Use consistent variable declaration nodes after unification