YES

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

C:
a() -> f(c())

Label:
[c() -> c()] = 0