YES

---- CR(R)
---- Hot decreasingness.
R:
f(f(x,y),z) -> f(x,f(y,z))
f(1(),x) -> x

C:
f(f(x,y),z) -> f(x,f(y,z))
f(1(),x) -> x

Label: