(VAR x y )
(RULES 
        f(x, 0) -> s(0)
        f(s(x), s(y)) -> s(f(x, y))
        g(0, x) -> g(f(x, x), x)
        
)