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