(STRATEGY
    INNERMOST)

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