197   R_SExpr reduceCode(Code &Orig, R_SExpr E0, R_SExpr E1) {  in reduceCode()
200   R_SExpr reduceField(Field &Orig, R_SExpr E0, R_SExpr E1) {  in reduceField()
203   R_SExpr reduceApply(Apply &Orig, R_SExpr E0, R_SExpr E1) {  in reduceApply()
206   R_SExpr reduceSApply(SApply &Orig, R_SExpr E0, R_SExpr E1) {  in reduceSApply()
213   R_SExpr reduceStore(Store &Orig, R_SExpr E0, R_SExpr E1) { return E0 && E1; }  in reduceStore()
214   R_SExpr reduceArrayIndex(Store &Orig, R_SExpr E0, R_SExpr E1) {  in reduceArrayIndex()
217   R_SExpr reduceArrayAdd(Store &Orig, R_SExpr E0, R_SExpr E1) {  in reduceArrayAdd()
221   R_SExpr reduceBinaryOp(BinaryOp &Orig, R_SExpr E0, R_SExpr E1) {  in reduceBinaryOp()
289   bool compareByCase(const SExpr *E1, const SExpr* E2) {  in compareByCase()
316   bool compare(const SExpr *E1, const SExpr* E2) {  in compare()
330   static bool compareExprs(const SExpr *E1, const SExpr* E2) {  in compareExprs()
352   bool compare(const SExpr *E1, const SExpr* E2) {  in compare()
370   static bool compareExprs(const SExpr *E1, const SExpr* E2) {  in compareExprs()