84   if (Res.second) {  in getOrCreateNullPointerValue()
86     Res.first->second =  in getOrCreateNullPointerValue()
89   return *Res.first->second;  in getOrCreateNullPointerValue()
96     std::swap(Res.first, Res.second);  in makeCanonicalBoolValuePair()
107   if (Res.second)  in getOrCreateConjunction()
108     Res.first->second =  in getOrCreateConjunction()
110   return *Res.first->second;  in getOrCreateConjunction()
120   if (Res.second)  in getOrCreateDisjunction()
121     Res.first->second =  in getOrCreateDisjunction()
123   return *Res.first->second;  in getOrCreateDisjunction()
128   if (Res.second)  in getOrCreateNegation()
129     Res.first->second = &takeOwnership(std::make_unique<NegationValue>(Val));  in getOrCreateNegation()
130   return *Res.first->second;  in getOrCreateNegation()
139   if (Res.second)  in getOrCreateImplication()
140     Res.first->second =  in getOrCreateImplication()
142   return *Res.first->second;  in getOrCreateImplication()
152   if (Res.second)  in getOrCreateIff()
153     Res.first->second =  in getOrCreateIff()
155   return *Res.first->second;  in getOrCreateIff()
165   if (!Res.second) {  in addFlowConditionConstraint()
166     Res.first->second = &getOrCreateConjunction(*Res.first->second, Constraint);  in addFlowConditionConstraint()
229   if (!Res.second)  in addTransitiveFlowConditionConstraints()
238     Constraints.insert(&getOrCreateIff(Token, *ConstraintsIt->second));  in addTransitiveFlowConditionConstraints()
243     for (AtomicBoolValue *DepToken : DepsIt->second) {  in addTransitiveFlowConditionConstraints()
256     return *It->second;  in substituteBoolValue()
337     for (AtomicBoolValue *DepToken : DepsIt->second) {  in buildAndSubstituteFlowConditionWithCache()
343   return substituteBoolValue(*ConstraintsIt->second, SubstitutionsCache);  in buildAndSubstituteFlowConditionWithCache()
365     return &It->second;  in getControlFlowContext()
372     return &Result.first->second;  in getControlFlowContext()