YES

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

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

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