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