330   bool WasInserted;  in mapToLegalUnsigned()  local
333   std::tie(ResultIt, WasInserted) =  in mapToLegalUnsigned()
338   if (WasInserted)  in mapToLegalUnsigned()
520   bool WasInserted;  in checkNumberingAndReplaceCommutative()  local
530     std::tie(ValueMappingIt, WasInserted) = CurrentSrcTgtNumberMapping.insert(  in checkNumberingAndReplaceCommutative()
606   bool WasInserted;  in checkNumberingAndReplace()  local
609   std::tie(Val, WasInserted) = CurrentSrcTgtNumberMapping.insert(  in checkNumberingAndReplace()
613   if (WasInserted)  in checkNumberingAndReplace()
782     bool WasInserted;  in compareStructure()  local
784     std::tie(ValueMappingIt, WasInserted) = ValueNumberMappingA.insert(  in compareStructure()
786     if (!WasInserted && !ValueMappingIt->second.contains(InstValB))  in compareStructure()
789     std::tie(ValueMappingIt, WasInserted) = ValueNumberMappingB.insert(  in compareStructure()
791     if (!WasInserted && !ValueMappingIt->second.contains(InstValA))  in compareStructure()