provide a substitution in Rewriting.normalize