YES

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

(COMMENT
Termination is shown by LPO with precedence:

  a > c > b
)