YES

# strong closedness (Huet 1980)

Consider the left-linear TRS R:

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

R is linear and every critical pair is strongly closed