(STRATEGY
    INNERMOST)

(VAR
    x xs)
(DATATYPES
    A = µX.< Cons(X, X), Nil >)
(SIGNATURES
    duplicate :: [A] -> A
    goal :: [A] -> A)
(RULES
    duplicate(Cons(x,xs)) -> Cons(x
                                 ,Cons(x,duplicate(xs)))
    duplicate(Nil()) -> Nil()
    goal(x) -> duplicate(x))