(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()))