YES

# strong closedness (Huet 1980)

Consider the left-linear TRS R:

  a() -> b()
  a() -> f(a())
  b() -> f(f(b()))
  f(f(f(b()))) -> b()

R is linear and every critical pair is strongly closed