(STRATEGY
    INNERMOST)

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