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