YES

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

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

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