(STRATEGY
    INNERMOST)

(VAR
    x4 x3 x2 x1)
(RULES
    walk#1(Nil()) -> walk_xyz()
    walk#1(Cons(x4,x3)) -> comp_f_g(walk#1(x3),walk_xyz_3(x4))
    comp_f_g#1(comp_f_g(x4,walk_xyz_3(x3)),walk_xyz_3(x2),x1) ->
      comp_f_g#1(x4,walk_xyz_3(x3),Cons(x2,x1))
    comp_f_g#1(walk_xyz(),walk_xyz_3(x3),Cons(x1,x2)) -> Cons(x3,Cons(x1,x2))
    main() -> comp_f_g#1(walk#1(Cons(S(S(0())),Cons(S(S(S(0()))),Nil())))
                        ,walk_xyz_3(S(0()))
                        ,Nil()))