(STRATEGY
    INNERMOST)

(VAR
    x2 x16 x24 x6 x1)
(RULES
    foldl#3(x2,Nil()) -> x2
    foldl#3(x16,Cons(x24,x6)) -> foldl#3(Cons(x24,x16),x6)
    main(x1) -> foldl#3(Nil(),x1))