(STRATEGY
    INNERMOST)

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