YES

---- CR(R)
---- Hot decreasingness.
R:
+(x,0()) -> x
+(x,s(y)) -> s(+(x,y))
-(0(),x) -> 0()
-(x,0()) -> x
-(s(x),s(y)) -> -(x,y)

C:
+(x,0()) -> x
+(x,s(y)) -> s(+(x,y))
-(0(),x) -> 0()
-(x,0()) -> x
-(s(x),s(y)) -> -(x,y)

Label: