YES

# strong closedness (Huet 1980)

Consider the left-linear TRS R:

  -(0(),0()) -> 0()
  -(s(x),0()) -> s(x)
  -(x,s(y)) -> -(d(x),y)
  d(s(x)) -> x
  -(s(x),s(y)) -> -(x,y)
  -(d(x),y) -> -(x,s(y))

R is linear and every critical pair is strongly closed