Avoid unnecessarily numbering cloned symbols.