YES

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

C:
a() -> b()

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