YES
(VAR x)
(RULES
a() -> b()
c() -> b()
g(x) -> x
f(x,b()) -> x
f(b(),x) -> b()
)