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