YES

# strong closedness (Huet 1980)

Consider the left-linear TRS R:

  f(a(),b()) -> c()
  a() -> a'()
  b() -> b'()
  c() -> f(a'(),b())
  c() -> f(a(),b'())
  c() -> f(a(),b())

R is linear and every critical pair is strongly closed