YES

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

C:
h(a(),h(f(b()),c())) -> c()

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