812   ProgramStateRef NewState = State;  in checkPreCall()  local
814     ProgramStateRef SuccessSt = Constraint->apply(NewState, Call, Summary, C);  in checkPreCall()
816         Constraint->negate()->apply(NewState, Call, Summary, C);  in checkPreCall()
819       if (ExplodedNode *N = C.generateErrorNode(NewState))  in checkPreCall()
828       NewState = SuccessSt;  in checkPreCall()
831   if (NewState && NewState != State)  in checkPreCall()
832     C.addTransition(NewState);  in checkPreCall()
847     ProgramStateRef NewState = State;  in checkPostCall()  local
849       NewState = Constraint->apply(NewState, Call, Summary, C);  in checkPostCall()
850       if (!NewState)  in checkPostCall()
854     if (NewState && NewState != State)  in checkPostCall()
855       C.addTransition(NewState);  in checkPostCall()