YES

---- CR(R)
---- R : linear and strongly closed [Huet, 1980]
R:
+(+(x,y),z) -> +(x,+(y,z))
+(x,+(y,z)) -> +(+(x,y),z)
CP(R):
+(+(___y1,+(___y2,___y3)),___y6) -> +(+(___y1,___y2),+(___y3,___y6))
+(___y7,+(___y8,+(___y11,___y12))) -> +(+(+(___y7,___y8),___y11),___y12)
+(___y10,+(___y7,+(___y8,___y9))) -> +(+(___y10,+(___y7,___y8)),___y9)
+(+(+(___y16,___y17),___y14),___y15) -> +(___y16,+(___y17,+(___y14,___y15)))
+(+(+(___y13,___y14),___y15),___y18) -> +(___y13,+(+(___y14,___y15),___y18))
+(___y22,+(+(___y19,___y20),___y21)) -> +(+(___y22,___y19),+(___y20,___y21))