549   auto NewState =  in handleIncrement()  local
552   assert(NewState &&  in handleIncrement()
555   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleIncrement()
575   auto NewState =  in handleDecrement()  local
578   assert(NewState &&  in handleDecrement()
581   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleDecrement()
666     ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos);  in handlePtrIncrOrDecr()  local
667     C.addTransition(NewState);  in handlePtrIncrOrDecr()
806   auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal);  in relateSymbols()  local
807   if (!NewState)  in relateSymbols()
816     return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2);  in relateSymbols()
819   return NewState;  in relateSymbols()