65   ProgramStateRef evalAssume(ProgramStateRef State,  in evalAssume()  argument
70       return State;  in evalAssume()
73       State = addImplication(Antecedent, State, true);  in evalAssume()
74       State = addImplication(Antecedent, State, false);  in evalAssume()
77     return State;  in evalAssume()
85     ProgramStateRef State = C.getState();  in checkPostCall()  local
89         State = State->assume(*L, /*assumption=*/true);  in checkPostCall()
91     C.addTransition(State);  in checkPostCall()
100     ProgramStateRef State = C.getState();  in checkPostObjCMessage()  local
108         State = State->assume(*L, /*assumption=*/true);  in checkPostObjCMessage()
121         State = State->set<NonNullImplicationMap>(RetS, ArgS);  in checkPostObjCMessage()
125         State = State->set<NullImplicationMap>(ArgS, RetS);  in checkPostObjCMessage()
129     C.addTransition(State);  in checkPostObjCMessage()
133     ProgramStateRef State = C.getState();  in checkDeadSymbols()  local
135     State = dropDeadFromGDM<NullImplicationMap>(SymReaper, State);  in checkDeadSymbols()
136     State = dropDeadFromGDM<NonNullImplicationMap>(SymReaper, State);  in checkDeadSymbols()
138     C.addTransition(State);  in checkDeadSymbols()
147                                   ProgramStateRef State) const {  in dropDeadFromGDM()
148     for (const std::pair<SymbolRef, SymbolRef> &P : State->get<MapName>())  in dropDeadFromGDM()
150         State = State->remove<MapName>(P.first);  in dropDeadFromGDM()
151     return State;  in dropDeadFromGDM()
225     ProgramStateRef State = InputState;  in addImplication()  local
230       State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated);  in addImplication()
231       if (!State)  in addImplication()
236         State = State->remove<NonNullImplicationMap>(Antecedent);  in addImplication()
237         State = State->remove<NullImplicationMap>(*Consequent);  in addImplication()
239         State = State->remove<NullImplicationMap>(Antecedent);  in addImplication()
240         State = State->remove<NonNullImplicationMap>(*Consequent);  in addImplication()
244     return State;  in addImplication()