YES

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

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

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