(VAR x)
(RULES
f(g(x)) -> g(x)
g(a) -> a
g(g(x)) -> x
)
(COMMENT Example 3.32 in \cite{SK90})