65   ProgramStateRef evalAssume(ProgramStateRef State,  in evalAssume()  argument
70       return State;  in evalAssume()
74       State = addImplication(Antecedent, State, true);  in evalAssume()
75       State = addImplication(Antecedent, State, false);  in evalAssume()
78     return State;  in evalAssume()
86     ProgramStateRef State = C.getState();  in checkPostCall()  local
90         State = State->assume(*L, /*assumption=*/true);  in checkPostCall()
92     C.addTransition(State);  in checkPostCall()
101     ProgramStateRef State = C.getState();  in checkPostObjCMessage()  local
109         State = State->assume(*L, /*assumption=*/true);  in checkPostObjCMessage()
122         State = State->set<NonNullImplicationMap>(RetS, ArgS);  in checkPostObjCMessage()
126         State = State->set<NullImplicationMap>(ArgS, RetS);  in checkPostObjCMessage()
130     C.addTransition(State);  in checkPostObjCMessage()
134     ProgramStateRef State = C.getState();  in checkDeadSymbols()  local
136     State = dropDeadFromGDM<NullImplicationMap>(SymReaper, State);  in checkDeadSymbols()
137     State = dropDeadFromGDM<NonNullImplicationMap>(SymReaper, State);  in checkDeadSymbols()
139     C.addTransition(State);  in checkDeadSymbols()
148                                   ProgramStateRef State) const {  in dropDeadFromGDM()
149     for (const std::pair<SymbolRef, SymbolRef> &P : State->get<MapName>())  in dropDeadFromGDM()
151         State = State->remove<MapName>(P.first);  in dropDeadFromGDM()
152     return State;  in dropDeadFromGDM()
226     ProgramStateRef State = InputState;  in addImplication()  local
231       State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated);  in addImplication()
232       if (!State)  in addImplication()
237         State = State->remove<NonNullImplicationMap>(Antecedent);  in addImplication()
238         State = State->remove<NullImplicationMap>(*Consequent);  in addImplication()
240         State = State->remove<NullImplicationMap>(Antecedent);  in addImplication()
241         State = State->remove<NonNullImplicationMap>(*Consequent);  in addImplication()
245     return State;  in addImplication()