(STRATEGY
    INNERMOST)

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