27                                                         bool Assumption) {  in assumeInternal()  argument
41   return assume(State, Cond.castAs<NonLoc>(), Assumption);  in assumeInternal()
45                                                 NonLoc Cond, bool Assumption) {  in assume()  argument
46   State = assumeAux(State, Cond, Assumption);  in assume()
48     return EE->processAssume(State, Cond, Assumption);  in assume()
54                                                    bool Assumption) {  in assumeAux()  argument
62     return assumeSymUnsupported(State, Sym, Assumption);  in assumeAux()
73     return assumeSym(State, Sym, Assumption);  in assumeAux()
78     bool isFeasible = b ? Assumption : !Assumption;  in assumeAux()
84     bool IsFeasible = IsNull ? Assumption : !Assumption;  in assumeAux()
90                           Assumption);  in assumeAux()