YES

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

C:


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