force the use of a Renaming when substitutions are applied (another
application has to be explicitely called otherwise, e.g. for rewriting)