YES

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

C:


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