YES

# strong closedness (Huet 1980)

Consider the left-linear TRS R:

  -(+(x(),-(x()))) -> 0()
  +(x(),-(x())) -> 0()
  0() -> -(0())

R is linear and every critical pair is strongly closed