(STRATEGY INNERMOST) (VAR x1 x2 x14 x10 x6 x40 x56) (RULES rec[revApp_0][2](Nil(),Cons(x1,x2)) -> Cons(x1,x2) rec[revApp_0][2](Cons(x14,x10),x6) -> rec[revApp_0][2](x10,Cons(x14,x6)) rec[dfsAcc_0][3](Leaf(x40),x56) -> Cons(x40,x56) rec[dfsAcc_0][3](Node(x14,x10),x6) -> rec[dfsAcc_0][3](x10 ,rec[dfsAcc_0][3](x14 ,x6)) main(x1) -> rec[revApp_0][2](rec[dfsAcc_0][3](x1,Nil()),Nil()))