YES
(VAR x)
(RULES
f(f(x)) -> g(x)
f(g(x)) -> g(f(x))
)