148   ProgramStateRef State = C.getState();  in checkPreStmt()  local
163   ProgramStateRef State = C.getState();  in checkPreStmt()  local
180   ProgramStateRef State = C.getState();  in checkPreStmt()  local
190   ProgramStateRef State = C.getState();  in checkPreStmt()  local
197   auto State = C.getState();  in verifyDereference()  local
223   auto State = C.getState();  in verifyRandomIncrOrDecr()  local
297 bool isZero(ProgramStateRef State, NonLoc Val) {  in isZero()
304 bool isPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {  in isPastTheEnd()
320 bool isAheadOfRange(ProgramStateRef State, const IteratorPosition &Pos) {  in isAheadOfRange()
336 bool isBehindPastTheEnd(ProgramStateRef State, const IteratorPosition &Pos) {  in isBehindPastTheEnd()
352 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) {  in isLess()
356 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) {  in isGreater()
360 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) {  in isEqual()