YES

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

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

Label: