YES

# strong closedness (Huet 1980)

Consider the left-linear TRS R:

  +(+(x,y),z) -> +(x,+(y,z))
  +(x,+(y,z)) -> +(+(x,y),z)
  +(x,y) -> +(y,x)

R is linear and every critical pair is strongly closed