(STRATEGY
    INNERMOST)

(VAR
    x12 x3 x4 x5 x7 x8 x9)
(DATATYPES
    A = µX.< Nil, walk_xs, Cons(X, X), comp_f_g(X, X), walk_xs_3(X) >)
(SIGNATURES
    walk#1 :: [A] -> A
    comp_f_g#1 :: [A x A x A] -> A
    main :: [A] -> A)
(RULES
    walk#1(Nil()) -> walk_xs()
    walk#1(Cons(x4,x3)) ->
      comp_f_g(walk#1(x3)
              ,walk_xs_3(x4))
    comp_f_g#1(comp_f_g(x7,x9)
              ,walk_xs_3(x8)
              ,x12) -> comp_f_g#1(x7
                                 ,x9
                                 ,Cons(x8,x12))
    comp_f_g#1(walk_xs()
              ,walk_xs_3(x8)
              ,x12) -> Cons(x8,x12)
    main(Nil()) -> Nil()
    main(Cons(x4,x5)) ->
      comp_f_g#1(walk#1(x5)
                ,walk_xs_3(x4)
                ,Nil()))