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