AddressSpaceInfoManager.replaceUsesOfOriginalVariables: take a copy of Users before modifying it