(VAR x12 x3 x4 x5 x7 x8 x9 )
(STRATEGY INNERMOST)
(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)
        
)