(STRATEGY
    INNERMOST)

(VAR
    x2 x12 x14 x16 x1)
(RULES
    walk#2(Nil(),x2) -> x2
    walk#2(Cons(x12,x14),x16) -> walk#2(x14,Cons(x12,x16))
    main(x1) -> walk#2(x1,Nil()))