431       C.addTransition(State->set<InvariantViolated>(true), N);  in checkInvariantViolation()
447     N = C.addTransition(OriginalState, N);  in reportBugIfInvariantHolds()
473   C.addTransition(State);  in checkDeadSymbols()
554       Context.addTransition(NewState);  in checkLocation()
645     C.addTransition(State);  in checkPreStmt()
662       ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag);  in checkPreStmt()
678     C.addTransition(State);  in checkPreStmt()
756         ExplodedNode *N = C.addTransition(State);  in checkPreCall()
768         ExplodedNode *N = C.addTransition(State);  in checkPreCall()
779     C.addTransition(State);  in checkPreCall()
811     C.addTransition(State);  in checkPostCall()
821     C.addTransition(State);  in checkPostCall()
891       C.addTransition(State);  in checkPostObjCMessage()
901       C.addTransition(State);  in checkPostObjCMessage()
914           C.addTransition(State);  in checkPostObjCMessage()
942       C.addTransition(State);  in checkPostObjCMessage()
964     C.addTransition(State);  in checkPostObjCMessage()
1002       C.addTransition(State);  in checkPostStmt()
1015     C.addTransition(State);  in checkPostStmt()
1022     C.addTransition(State);  in checkPostStmt()
1159     C.addTransition(State);  in checkBind()
1180       ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag);  in checkBind()
1197     C.addTransition(State);  in checkBind()
1205     C.addTransition(State);  in checkBind()