207   bool WasInserted;  in mapToLegalUnsigned()  local
210   std::tie(ResultIt, WasInserted) =  in mapToLegalUnsigned()
215   if (WasInserted)  in mapToLegalUnsigned()
378   bool WasInserted;  in checkNumberingAndReplaceCommutative()  local
387     std::tie(ValueMappingIt, WasInserted) = CurrentSrcTgtNumberMapping.insert(  in checkNumberingAndReplaceCommutative()
393     if (WasInserted)  in checkNumberingAndReplaceCommutative()
471   bool WasInserted;  in checkNumberingAndReplace()  local
474   std::tie(Val, WasInserted) = CurrentSrcTgtNumberMapping.insert(  in checkNumberingAndReplace()
478   if (WasInserted)  in checkNumberingAndReplace()
585   bool WasInserted;  in compareStructure()  local
609     std::tie(ValueMappingIt, WasInserted) = ValueNumberMappingA.insert(  in compareStructure()
611     if (!WasInserted && !ValueMappingIt->second.contains(InstValB))  in compareStructure()
614     std::tie(ValueMappingIt, WasInserted) = ValueNumberMappingB.insert(  in compareStructure()
616     if (!WasInserted && !ValueMappingIt->second.contains(InstValA))  in compareStructure()