YES

---- CR(R)
---- Development Closedness Theorem [van Oostrom, TCS 1994].
R:
+(x,y) -> +(y,x)
*(+(x,y),z) -> +(*(x,z),*(y,z))
*(+(y,x),z) -> +(*(x,z),*(y,z))

CP(R):
*(+(___y6,___y5),___y9) -> +(*(___y5,___y9),*(___y6,___y9))
*(+(___y11,___y10),___y14) -> +(*(___y11,___y14),*(___y10,___y14))
+(*(___y26,___y28),*(___y27,___y28)) -> +(*(___y27,___y28),*(___y26,___y28))
+(*(___y38,___y39),*(___y37,___y39)) -> +(*(___y37,___y39),*(___y38,___y39))