(STRATEGY
    INNERMOST)

(VAR
    x3 x2 x1 x16 x6 x8 x10)
(RULES
    comp_f_g#1(plus_x(x3),comp_f_g(plus_x(x2),x1)) ->
      plus_x#1(x3,comp_f_g#1(plus_x(x2),x1))
    comp_f_g#1(plus_x(x3),id()) -> plus_x#1(x3,0())
    map#2(Nil()) -> Nil()
    map#2(Cons(x16,x6)) -> Cons(plus_x(x16),map#2(x6))
    plus_x#1(0(),x6) -> x6
    plus_x#1(S(x8),x10) -> S(plus_x#1(x8,x10))
    foldr_f#3(Nil()) -> 0()
    foldr_f#3(Cons(plus_x(x2),x1)) -> comp_f_g#1(plus_x(x2),foldr#3(x1))
    foldr#3(Nil()) -> id()
    foldr#3(Cons(plus_x(x2),x1)) -> comp_f_g(plus_x(x2),foldr#3(x1))
    main(x3) -> foldr_f#3(map#2(x3)))