observation: attempting to create >1000 identifiers of the same name results in a very slow program
idea:
Identify common roots and memorize the largest counter encountered so far.
potential problem: If abc_1 to abc_10 are claimed, then abc_5 is deleted and then abc_5 is claimed again, this might lead to it being renamed to abc_11which is confusing for the user.
observation: attempting to create >1000 identifiers of the same name results in a very slow program
idea:
abc_1toabc_10are claimed, thenabc_5is deleted and thenabc_5is claimed again, this might lead to it being renamed toabc_11which is confusing for the user.