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