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