Minor refactoring of the RuleOfRewriteWith class.