I don't think it's as trivial as you imply. You have to use a symbol that's valid, but isn't used in the subsequent loop to avoid collisions.
It is trivial, the frontend already has the ability to generate new unique identifiers. But I also don't think it's worth doing.
