(STRATEGY
    INNERMOST)

(VAR
    x1 x2 x6 x4 x24 x32)
(RULES
    revApp#2(Nil(),Cons(x1,x2)) -> Cons(x1,x2)
    revApp#2(Cons(x6,x4),x2) -> revApp#2(x4,Cons(x6,x2))
    dfsAcc#3(Leaf(x24),x32) -> Cons(x24,x32)
    dfsAcc#3(Node(x6,x4),x2) -> dfsAcc#3(x4,dfsAcc#3(x6,x2))
    main(x1) -> revApp#2(dfsAcc#3(x1,Nil()),Nil()))