Add one-pmres.
Fix bug on pmres (useless conjunction was added for the last 2 variables in the conflict).