YES

---- CR(R)
---- R : linear and strongly closed [Huet, 1980]
R:
f(f(x,y),z) -> f(x,f(y,z))
f(x,y) -> f(y,x)
CP(R):
f(f(___y1,f(___y2,___y3)),___y6) -> f(f(___y1,___y2),f(___y3,___y6))
f(___y7,f(___y8,___y9)) -> f(___y9,f(___y7,___y8))
f(___y13,f(___y14,___y15)) -> f(___y14,f(___y15,___y13))
f(f(___y13,___y12),___y16) -> f(___y12,f(___y13,___y16))