(STRATEGY
    INNERMOST)

(VAR
    x8 x10 x5 x2 x3 x4 x1 x16 x6 x9)
(RULES
    rev_l#2(x8,x10) -> Cons(x10,x8)
    step_x_f#1(rev_l(),x5,step_x_f(x2,x3,x4),x1) -> step_x_f#1(x2
                                                              ,x3
                                                              ,x4
                                                              ,rev_l#2(x1,x5))
    step_x_f#1(rev_l(),x5,fleft_op_e_xs_1(),x3) -> rev_l#2(x3,x5)
    foldr#3(Nil()) -> fleft_op_e_xs_1()
    foldr#3(Cons(x16,x6)) -> step_x_f(rev_l(),x16,foldr#3(x6))
    main(Nil()) -> Nil()
    main(Cons(x8,x9)) -> step_x_f#1(rev_l(),x8,foldr#3(x9),Nil()))