Merge only if Var-p-Var tuple used.
Towards union graph handling.