YES

---- CR(R)
---- R : linear and strongly closed [Huet, 1980]
R:
+(s(x),y) -> s(+(x,y))
+(x,s(y)) -> s(+(x,y))
+(x,y) -> +(y,x)
CP(R):
s(+(___y5,s(___y8))) -> s(+(s(___y5),___y8))
s(+(___y9,___y10)) -> +(___y10,s(___y9))
s(+(s(___y15),___y14)) -> s(+(___y15,s(___y14)))
s(+(___y21,___y22)) -> +(s(___y22),___y21)
+(___y26,s(___y27)) -> s(+(___y27,___y26))
+(s(___y32),___y29) -> s(+(___y29,___y32))