(STRATEGY
    INNERMOST)

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