(VAR x y)
(RULES
  m(x, m(0, y)) -> a(x,y)
)