544   auto NewState =  in handleIncrement()  local
547   assert(NewState &&  in handleIncrement()
550   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleIncrement()
570   auto NewState =  in handleDecrement()  local
573   assert(NewState &&  in handleDecrement()
576   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleDecrement()
660     ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos);  in handlePtrIncrOrDecr()  local
661     C.addTransition(NewState);  in handlePtrIncrOrDecr()
800   auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal);  in relateSymbols()  local
801   if (!NewState)  in relateSymbols()
810     return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2);  in relateSymbols()
813   return NewState;  in relateSymbols()