138     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
140 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
321           auto &SVB = C.getSValBuilder();  in handleAssignment()  local
336               State, SVB, OldEndSym, NewEndSym, OldEndSym, BO_LT);  in handleAssignment()
435     auto &SVB = C.getSValBuilder();  in handlePushBack()  local
437       SVB.evalBinOp(State, BO_Add,  in handlePushBack()
464     auto &SVB = C.getSValBuilder();  in handlePopBack()  local
466       SVB.evalBinOp(State, BO_Sub,  in handlePopBack()
509       auto &SVB = C.getSValBuilder();  in handlePushFront()  local
511         SVB.evalBinOp(State, BO_Sub,  in handlePushFront()
546     auto &SVB = C.getSValBuilder();  in handlePopFront()  local
548       SVB.evalBinOp(State, BO_Add,  in handlePopFront()
671   auto &SVB = C.getSValBuilder();  in handleEraseAfter()  local
673     SVB.evalBinOp(State, BO_Add,  in handleEraseAfter()
1004     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,  in rebaseSymbolInIteratorPositionsIf()  argument
1010     return Pos.setTo(rebaseSymbol(State, SVB, Pos.getOffset(), OldSym,  in rebaseSymbolInIteratorPositionsIf()
1019 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB,  in rebaseSymbol()  argument
1022   auto &SymMgr = SVB.getSymbolManager();  in rebaseSymbol()
1023   auto Diff = SVB.evalBinOpNN(State, BO_Sub, nonloc::SymbolVal(OrigExpr),  in rebaseSymbol()
1031   return SVB.evalBinOpNN(State, BO_Add, *DiffInt, nonloc::SymbolVal(NewSym),  in rebaseSymbol()