(STRATEGY
    INNERMOST)

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