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