YES
(VAR x)
(RULES
a(x) -> c(x)
c(c(c(x))) -> c(c(x))
b(x) -> c(x)
)