(STRATEGY
    INNERMOST)

(VAR
    x y z)
(DATATYPES
    A = µX.< i(X), 1, 0 >)
(SIGNATURES
    * :: [A x A] -> A)
(RULES
    *(i(x),x) -> 1()
    *(1(),y) -> y
    *(x,0()) -> 0()
    *(*(x,y),z) -> *(x,*(y,z)))