(STRATEGY
    INNERMOST)

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