548   auto NewState =  in handleIncrement()  local
551   assert(NewState &&  in handleIncrement()
554   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleIncrement()
574   auto NewState =  in handleDecrement()  local
577   assert(NewState &&  in handleDecrement()
580   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleDecrement()
665     ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos);  in handlePtrIncrOrDecr()  local
666     C.addTransition(NewState);  in handlePtrIncrOrDecr()
805   auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal);  in relateSymbols()  local
806   if (!NewState)  in relateSymbols()
815     return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2);  in relateSymbols()
818   return NewState;  in relateSymbols()