192   R_SExpr reduceUndefined(Undefined &Orig) { return true; }  in reduceUndefined()
193   R_SExpr reduceWildcard(Wildcard &Orig) { return true; }  in reduceWildcard()
195   R_SExpr reduceLiteral(Literal &Orig) { return true; }  in reduceLiteral()
197   R_SExpr reduceLiteralT(LiteralT<T> &Orig) { return true; }  in reduceLiteralT()
198   R_SExpr reduceLiteralPtr(Literal &Orig) { return true; }  in reduceLiteralPtr()
200   R_SExpr reduceFunction(Function &Orig, Variable *Nvd, R_SExpr E0) {  in reduceFunction()
204   R_SExpr reduceSFunction(SFunction &Orig, Variable *Nvd, R_SExpr E0) {  in reduceSFunction()
208   R_SExpr reduceCode(Code &Orig, R_SExpr E0, R_SExpr E1) {  in reduceCode()
212   R_SExpr reduceField(Field &Orig, R_SExpr E0, R_SExpr E1) {  in reduceField()
216   R_SExpr reduceApply(Apply &Orig, R_SExpr E0, R_SExpr E1) {  in reduceApply()
220   R_SExpr reduceSApply(SApply &Orig, R_SExpr E0, R_SExpr E1) {  in reduceSApply()
224   R_SExpr reduceProject(Project &Orig, R_SExpr E0) { return E0; }  in reduceProject()
225   R_SExpr reduceCall(Call &Orig, R_SExpr E0) { return E0; }  in reduceCall()
226   R_SExpr reduceAlloc(Alloc &Orig, R_SExpr E0) { return E0; }  in reduceAlloc()
227   R_SExpr reduceLoad(Load &Orig, R_SExpr E0) { return E0; }  in reduceLoad()
228   R_SExpr reduceStore(Store &Orig, R_SExpr E0, R_SExpr E1) { return E0 && E1; }  in reduceStore()
230   R_SExpr reduceArrayIndex(Store &Orig, R_SExpr E0, R_SExpr E1) {  in reduceArrayIndex()
234   R_SExpr reduceArrayAdd(Store &Orig, R_SExpr E0, R_SExpr E1) {  in reduceArrayAdd()
238   R_SExpr reduceUnaryOp(UnaryOp &Orig, R_SExpr E0) { return E0; }  in reduceUnaryOp()
240   R_SExpr reduceBinaryOp(BinaryOp &Orig, R_SExpr E0, R_SExpr E1) {  in reduceBinaryOp()
244   R_SExpr reduceCast(Cast &Orig, R_SExpr E0) { return E0; }  in reduceCast()
246   R_SExpr reduceSCFG(SCFG &Orig, Container<BasicBlock *> Bbs) {  in reduceSCFG()
250   R_BasicBlock reduceBasicBlock(BasicBlock &Orig, Container<R_SExpr> &As,  in reduceBasicBlock()
255   R_SExpr reducePhi(Phi &Orig, Container<R_SExpr> &As) {  in reducePhi()
259   R_SExpr reduceGoto(Goto &Orig, BasicBlock *B) {  in reduceGoto()
271   R_SExpr reduceIdentifier(Identifier &Orig) {  in reduceIdentifier()
275   R_SExpr reduceIfThenElse(IfThenElse &Orig, R_SExpr C, R_SExpr T, R_SExpr E) {  in reduceIfThenElse()
279   R_SExpr reduceLet(Let &Orig, Variable *Nvd, R_SExpr B) {  in reduceLet()
283   Variable *enterScope(Variable &Orig, R_SExpr E0) { return &Orig; }  in enterScope()
284   void exitScope(const Variable &Orig) {}  in exitScope()