AreaLimit::validBoundsFor: fixed bug in lower limit
AddressSpaceInfoManager::getASAllocationsLimitsByValue: return a pointer, not a set
AddressSpaceInfoManager::getValueLimit: return getASAllocationsLimitsByValue(..) for GlobalVariables
AreaLimitBase: moved validBoundsFor from ASAreaLimit
AreaLimitBase: indirection assertion moved to getBounds
SmartPtrAreaLimit: an area limit that can read limits from smartpointers
AddressSpaceInfoManager::getValueLimit: Don't use original value for getArgumentLimits
fixup! AddressSpaceInfoManager::getASAllocationsLimitsByValue: return a pointer, not a set
replaceCallArgument: when calling convertArgumentToSmartStruct, pass indirect values
getPrivateLimits returns only non-final values. Is this correct?