YES

# strong closedness (Huet 1980)

Consider the left-linear TRS R:

  b(a(a(b(b(x))))) -> b(a(a(a(a(b(b(x)))))))
  b(a(b(b(x)))) -> b(b(x))
  b(a(b(a(a(a(a(b(x)))))))) -> b(a(a(a(a(b(a(a(a(a(b(a(b(a(a(a(b(a(a(a(a(b(x))))))))))))))))))))))
  b(a(a(b(a(a(a(a(b(x))))))))) -> b(a(b(a(a(b(a(a(a(b(a(a(a(a(b(x)))))))))))))))
  b(a(a(a(b(a(a(a(a(b(x)))))))))) -> b(x)

R is linear and every critical pair is strongly closed