(STRATEGY
    INNERMOST)

(VAR
    x6 x3)
(RULES
    rec[take_l_0][2](0()) -> Nil()
    rec[take_l_0][2](S(x6)) -> Cons(rec[take_l_0][2](x6))
    main(x3) -> rec[take_l_0][2](x3))