YES

---- CR(R)
---- Hot decreasingness.
R:
a(x) -> b(x)
a(b(x)) -> b(a(c(a(x))))
b(x) -> c(x)
c(c(x)) -> x

C:
a(x) -> b(x)
b(x) -> c(x)
c(c(x)) -> x

Label:
[a(b(x)) -> b(a(c(a(x))))] = 0