(VAR X Y Z )
(RULES 
        h(X, Z) -> f(X, s(X), Z)
        f(X, Y, g(X, Y)) -> h(0, g(X, Y))
        g(0, Y) -> 0
        g(X, s(Y)) -> g(X, Y)
        
)