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