191   R_SExpr reduceFunction(Function &Orig, Variable *Nvd, R_SExpr E0) {  in reduceFunction()  argument
192     return Nvd && E0;  in reduceFunction()
194   R_SExpr reduceSFunction(SFunction &Orig, Variable *Nvd, R_SExpr E0) {  in reduceSFunction()  argument
195     return Nvd && E0;  in reduceSFunction()
197   R_SExpr reduceCode(Code &Orig, R_SExpr E0, R_SExpr E1) {  in reduceCode()  argument
198     return E0 && E1;  in reduceCode()
200   R_SExpr reduceField(Field &Orig, R_SExpr E0, R_SExpr E1) {  in reduceField()  argument
201     return E0 && E1;  in reduceField()
203   R_SExpr reduceApply(Apply &Orig, R_SExpr E0, R_SExpr E1) {  in reduceApply()  argument
204     return E0 && E1;  in reduceApply()
206   R_SExpr reduceSApply(SApply &Orig, R_SExpr E0, R_SExpr E1) {  in reduceSApply()  argument
207     return E0 && E1;  in reduceSApply()
209   R_SExpr reduceProject(Project &Orig, R_SExpr E0) { return E0; }  in reduceProject()  argument
210   R_SExpr reduceCall(Call &Orig, R_SExpr E0) { return E0; }  in reduceCall()  argument
211   R_SExpr reduceAlloc(Alloc &Orig, R_SExpr E0) { return E0; }  in reduceAlloc()  argument
212   R_SExpr reduceLoad(Load &Orig, R_SExpr E0) { return E0; }  in reduceLoad()  argument
213   R_SExpr reduceStore(Store &Orig, R_SExpr E0, R_SExpr E1) { return E0 && E1; }  in reduceStore()  argument
214   R_SExpr reduceArrayIndex(Store &Orig, R_SExpr E0, R_SExpr E1) {  in reduceArrayIndex()  argument
215     return E0 && E1;  in reduceArrayIndex()
217   R_SExpr reduceArrayAdd(Store &Orig, R_SExpr E0, R_SExpr E1) {  in reduceArrayAdd()  argument
218     return E0 && E1;  in reduceArrayAdd()
220   R_SExpr reduceUnaryOp(UnaryOp &Orig, R_SExpr E0) { return E0; }  in reduceUnaryOp()  argument
221   R_SExpr reduceBinaryOp(BinaryOp &Orig, R_SExpr E0, R_SExpr E1) {  in reduceBinaryOp()  argument
222     return E0 && E1;  in reduceBinaryOp()
224   R_SExpr reduceCast(Cast &Orig, R_SExpr E0) { return E0; }  in reduceCast()  argument
256   Variable *enterScope(Variable &Orig, R_SExpr E0) { return &Orig; }  in enterScope()  argument