66   ProgramStateRef evalAssume(ProgramStateRef State,  in evalAssume()  argument
71       return State;  in evalAssume()
75       State = addImplication(Antecedent, State, true);  in evalAssume()
76       State = addImplication(Antecedent, State, false);  in evalAssume()
79     return State;  in evalAssume()
87     ProgramStateRef State = C.getState();  in checkPostCall()  local
91         State = State->assume(*L, /*Assumption=*/true);  in checkPostCall()
93     C.addTransition(State);  in checkPostCall()
102     ProgramStateRef State = C.getState();  in checkPostObjCMessage()  local
110         State = State->assume(*L, /*Assumption=*/true);  in checkPostObjCMessage()
123         State = State->set<NonNullImplicationMap>(RetS, ArgS);  in checkPostObjCMessage()
127         State = State->set<NullImplicationMap>(ArgS, RetS);  in checkPostObjCMessage()
131     C.addTransition(State);  in checkPostObjCMessage()
135     ProgramStateRef State = C.getState();  in checkDeadSymbols()  local
137     State = dropDeadFromGDM<NullImplicationMap>(SymReaper, State);  in checkDeadSymbols()
138     State = dropDeadFromGDM<NonNullImplicationMap>(SymReaper, State);  in checkDeadSymbols()
140     C.addTransition(State);  in checkDeadSymbols()
149                                   ProgramStateRef State) const {  in dropDeadFromGDM()
150     for (const std::pair<SymbolRef, SymbolRef> &P : State->get<MapName>())  in dropDeadFromGDM()
152         State = State->remove<MapName>(P.first);  in dropDeadFromGDM()
153     return State;  in dropDeadFromGDM()
227     ProgramStateRef State = InputState;  in addImplication()  local
232       State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated);  in addImplication()
233       if (!State)  in addImplication()
238         State = State->remove<NonNullImplicationMap>(Antecedent);  in addImplication()
239         State = State->remove<NullImplicationMap>(*Consequent);  in addImplication()
241         State = State->remove<NullImplicationMap>(Antecedent);  in addImplication()
242         State = State->remove<NonNullImplicationMap>(*Consequent);  in addImplication()
246     return State;  in addImplication()