Fix UnifyingResolution

Renaming of variables was being done in the wrong place; this has been
fixed.