183   R_SExpr reduceUndefined(Undefined &Orig) { return true; }  in reduceUndefined()  argument
184   R_SExpr reduceWildcard(Wildcard &Orig) { return true; }  in reduceWildcard()  argument
186   R_SExpr reduceLiteral(Literal &Orig) { return true; }  in reduceLiteral()  argument
188   R_SExpr reduceLiteralT(LiteralT<T> &Orig) { return true; }  in reduceLiteralT()  argument
189   R_SExpr reduceLiteralPtr(Literal &Orig) { return true; }  in reduceLiteralPtr()  argument
191   R_SExpr reduceFunction(Function &Orig, Variable *Nvd, R_SExpr E0) {  in reduceFunction()  argument
194   R_SExpr reduceSFunction(SFunction &Orig, Variable *Nvd, R_SExpr E0) {  in reduceSFunction()  argument
197   R_SExpr reduceCode(Code &Orig, R_SExpr E0, R_SExpr E1) {  in reduceCode()  argument
200   R_SExpr reduceField(Field &Orig, R_SExpr E0, R_SExpr E1) {  in reduceField()  argument
203   R_SExpr reduceApply(Apply &Orig, R_SExpr E0, R_SExpr E1) {  in reduceApply()  argument
206   R_SExpr reduceSApply(SApply &Orig, R_SExpr E0, R_SExpr E1) {  in reduceSApply()  argument
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
217   R_SExpr reduceArrayAdd(Store &Orig, R_SExpr E0, R_SExpr E1) {  in reduceArrayAdd()  argument
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
224   R_SExpr reduceCast(Cast &Orig, R_SExpr E0) { return E0; }  in reduceCast()  argument
226   R_SExpr reduceSCFG(SCFG &Orig, Container<BasicBlock *> Bbs) {  in reduceSCFG()  argument
229   R_BasicBlock reduceBasicBlock(BasicBlock &Orig, Container<R_SExpr> &As,  in reduceBasicBlock()  argument
233   R_SExpr reducePhi(Phi &Orig, Container<R_SExpr> &As) {  in reducePhi()  argument
236   R_SExpr reduceGoto(Goto &Orig, BasicBlock *B) {  in reduceGoto()  argument
246   R_SExpr reduceIdentifier(Identifier &Orig) {  in reduceIdentifier()  argument
249   R_SExpr reduceIfThenElse(IfThenElse &Orig, R_SExpr C, R_SExpr T, R_SExpr E) {  in reduceIfThenElse()  argument
252   R_SExpr reduceLet(Let &Orig, Variable *Nvd, R_SExpr B) {  in reduceLet()  argument
256   Variable *enterScope(Variable &Orig, R_SExpr E0) { return &Orig; }  in enterScope()  argument
257   void exitScope(const Variable &Orig) {}  in exitScope()  argument