452       C.addTransition(State->set<InvariantViolated>(true), N);  in checkInvariantViolation()
467     N = C.addTransition(OriginalState, N);  in reportBugIfInvariantHolds()
496   C.addTransition(State);  in checkDeadSymbols()
629     C.addTransition(State);  in checkPreStmt()
646       ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag);  in checkPreStmt()
663     C.addTransition(State);  in checkPreStmt()
737         ExplodedNode *N = C.addTransition(State);  in checkPreCall()
749         ExplodedNode *N = C.addTransition(State);  in checkPreCall()
764     C.addTransition(State);  in checkPreCall()
796     C.addTransition(State);  in checkPostCall()
806     C.addTransition(State);  in checkPostCall()
876       C.addTransition(State);  in checkPostObjCMessage()
886       C.addTransition(State);  in checkPostObjCMessage()
899           C.addTransition(State);  in checkPostObjCMessage()
927       C.addTransition(State);  in checkPostObjCMessage()
949     C.addTransition(State);  in checkPostObjCMessage()
988       C.addTransition(State);  in checkPostStmt()
1001     C.addTransition(State);  in checkPostStmt()
1008     C.addTransition(State);  in checkPostStmt()
1144     C.addTransition(State);  in checkBind()
1165       ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag);  in checkBind()
1182     C.addTransition(State);  in checkBind()
1190     C.addTransition(State);  in checkBind()