YES

---- CR(R)
---- Hot decreasingness.
R:
a() -> a'()
h(x,a'(),y) -> h(x,y,y)
h(x,y,a'()) -> h(x,y,y)
g() -> f()
h(f(),a(),a()) -> h(g(),a(),a())
h(g(),a(),a()) -> h(f(),a(),a())

C:


Label:
[a() -> a'()] = 2
[h(x,a'(),y) -> h(x,y,y)] = 1
[h(x,y,a'()) -> h(x,y,y)] = 1
[g() -> f()] = 1
[h(f(),a(),a()) -> h(g(),a(),a())] = 1
[h(g(),a(),a()) -> h(f(),a(),a())] = 0