143     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
145 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
326           auto &SVB = C.getSValBuilder();  in handleAssignment()  local
341               State, SVB, OldEndSym, NewEndSym, OldEndSym, BO_LT);  in handleAssignment()
440     auto &SVB = C.getSValBuilder();  in handlePushBack()  local
442       SVB.evalBinOp(State, BO_Add,  in handlePushBack()
469     auto &SVB = C.getSValBuilder();  in handlePopBack()  local
471       SVB.evalBinOp(State, BO_Sub,  in handlePopBack()
514       auto &SVB = C.getSValBuilder();  in handlePushFront()  local
516         SVB.evalBinOp(State, BO_Sub,  in handlePushFront()
551     auto &SVB = C.getSValBuilder();  in handlePopFront()  local
553       SVB.evalBinOp(State, BO_Add,  in handlePopFront()
676   auto &SVB = C.getSValBuilder();  in handleEraseAfter()  local
678     SVB.evalBinOp(State, BO_Add,  in handleEraseAfter()
1013     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,  in rebaseSymbolInIteratorPositionsIf()  argument
1019     return Pos.setTo(rebaseSymbol(State, SVB, Pos.getOffset(), OldSym,  in rebaseSymbolInIteratorPositionsIf()
1028 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB,  in rebaseSymbol()  argument
1031   auto &SymMgr = SVB.getSymbolManager();  in rebaseSymbol()
1032   auto Diff = SVB.evalBinOpNN(State, BO_Sub, nonloc::SymbolVal(OrigExpr),  in rebaseSymbol()
1040   return SVB.evalBinOpNN(State, BO_Add, *DiffInt, nonloc::SymbolVal(NewSym),  in rebaseSymbol()