RuleOfRewrite renaming variable