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