AddressSpaceInfoManager: keep track of erased values, delete later (in destructor)
AddressSpaceInfoManager: can no longer be copy-constructed
AddressSpaceInfoManager: fixed AreaLimitSet deletions
AddressSpaceInfoManager: delete global values in the destructor