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