(VAR x y )
(RULES 
        +(0, y) -> y
        +(s(x), 0) -> s(x)
        +(s(x), s(y)) -> s(+(s(x), +(y, 0)))
        
)