YES

# strong closedness (Huet 1980)

Consider the left-linear TRS R:

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

R is linear and every critical pair is strongly closed