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