Give a really unique label to fresh variables when creating them
When creating fresh variables, the label is given with a counter that is reset at each execution.
When storing data in a first time, then stoping the program and recreating "fresh" variables, the counter will start at one and the variables will not really have a fresh label.
For this, the idea is to use UUIDs (https://en.wikipedia.org/wiki/Universally_unique_identifier) instead of a counter to get closer to unicity.