(STRATEGY
    INNERMOST)

(VAR
    x8 x10 x4 x3 x2 x1 x5 x16 x6 x9)
(RULES
    rev_l#2(x8,x10) -> Cons(x10,x8)
    step_x_f#1(x4,step_x_f(x3,x2),x1) -> step_x_f#1(x3,x2,rev_l#2(x1,x4))
    step_x_f#1(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(x16,foldr#3(x6))
    main(Nil()) -> Nil()
    main(Cons(x8,x9)) -> step_x_f#1(x8,foldr#3(x9),Nil()))