YES

# strong closedness (Huet 1980)

Consider the left-linear TRS R:

  f(x) -> g(x)
  f(x) -> h(f(x))
  h(f(x)) -> h(g(x))
  g(x) -> h(g(x))

R is linear and every critical pair is strongly closed