AddressSpaceInfoManager.getValueReplacement: keep original variable names as part of the new names