AddressSpaceInfoManager::getValueLimit: implemented GEP and ConstantExpr
AddressSpaceInfoManager::addArgumentLimitRange: renamed from addDynamicLimitRange