(STRATEGY
    INNERMOST)

(VAR
    x)
(DATATYPES
    A = µX.< e(X), u(X), a(X) >)
(SIGNATURES
    d :: [A] -> A
    c :: [A] -> A
    v :: [A] -> A
    b :: [A] -> A)
(RULES
    d(x) -> e(u(x))
    d(u(x)) -> c(x)
    c(u(x)) -> b(x)
    v(e(x)) -> x
    b(u(x)) -> a(e(x)))