(VAR x y)
(RULES
app(app(add,x),0) -> x
app(app(add,x),app(s,y)) -> app(s,app(app(add,x),y))
)