49   auto AVI = AffectedValues.find_as(V);  in getOrInsertAffectedValues()  local
50   if (AVI != AffectedValues.end())  in getOrInsertAffectedValues()
51     return AVI->second;  in getOrInsertAffectedValues()
139     auto AVI = AffectedValues.find_as(AV.Assume);  in unregisterAssumption()  local
140     if (AVI == AffectedValues.end())  in unregisterAssumption()
144     for (ResultElem &Elem : AVI->second) {  in unregisterAssumption()
155       AffectedValues.erase(AVI);  in unregisterAssumption()
164   auto AVI = AC->AffectedValues.find(getValPtr());  in deleted()  local
165   if (AVI != AC->AffectedValues.end())  in deleted()
166     AC->AffectedValues.erase(AVI);  in deleted()
172   auto AVI = AffectedValues.find(OV);  in transferAffectedValuesInCache()  local
173   if (AVI == AffectedValues.end())  in transferAffectedValuesInCache()
176   for (auto &A : AVI->second)  in transferAffectedValuesInCache()