Don't give 'dummy header' option on rename for identifiers that need rename, as it would leave an identifier behind in the temporary collection