Removing the use of nextFreshVariableIdentifier, we are now using the globalId of the Identifier object.