(VAR x y z)
(THEORY (AC f))
(RULES
f(i(x),f(x,y)) -> y
)