554   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleIncrement()  local
555   assert(NewPos &&  in handleIncrement()
558   State = setIteratorPosition(State, Iter, *NewPos);  in handleIncrement()
559   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);  in handleIncrement()
580   const auto *NewPos = getIteratorPosition(NewState, Iter);  in handleDecrement()  local
581   assert(NewPos &&  in handleDecrement()
584   State = setIteratorPosition(State, Iter, *NewPos);  in handleDecrement()
585   State = setIteratorPosition(State, RetVal, Postfix ? *Pos : *NewPos);  in handleDecrement()
617     const auto *NewPos = getIteratorPosition(AdvancedState, Iterator);  in handleRandomIncrOrDecr()  local
618     assert(NewPos &&  in handleRandomIncrOrDecr()
621     State = setIteratorPosition(State, TgtVal, *NewPos);  in handleRandomIncrOrDecr()
661     const IteratorPosition *NewPos = getIteratorPosition(AdvancedState, OldVal);  in handlePtrIncrOrDecr()  local
662     assert(NewPos &&  in handlePtrIncrOrDecr()
665     ProgramStateRef NewState = setIteratorPosition(State, NewVal, *NewPos);  in handlePtrIncrOrDecr()