(STRATEGY
    INNERMOST)

(VAR
    x1 x16 x2 x24 x6)
(DATATYPES
    A = µX.< Nil, Cons(X, X) >)
(SIGNATURES
    foldl#3 :: [A x A] -> A
    main :: [A] -> A)
(RULES
    foldl#3(x2,Nil()) -> x2
    foldl#3(x16,Cons(x24,x6)) ->
      foldl#3(Cons(x24,x16),x6)
    main(x1) -> foldl#3(Nil(),x1))