545   auto NewState =  in handleIncrement()  local
548   assert(NewState &&  in handleIncrement()
551   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleIncrement()
571   auto NewState =  in handleDecrement()  local
574   assert(NewState &&  in handleDecrement()
577   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleDecrement()
661     ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos);  in handlePtrIncrOrDecr()  local
662     C.addTransition(NewState);  in handlePtrIncrOrDecr()
801   auto NewState = State->assume(comparison.castAs<DefinedSVal>(), Equal);  in relateSymbols()  local
802   if (!NewState)  in relateSymbols()
811     return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2);  in relateSymbols()
814   return NewState;  in relateSymbols()