( VAR  x y )
( RULES f (f (x, a), y) -> f (y, f(x, y)) )