YES

# strong closedness (Huet 1980)

Consider the left-linear TRS R:

  F(H(x),y) -> G(H(x))
  H(I(x)) -> I(x)
  F(I(x),y) -> G(I(x))

R is linear and every critical pair is strongly closed