YES

# almost development closedness (van Oostrom 1997)

Consider the left-linear TRS R:

  f(0(),0()) -> f(0(),1())
  f(1(),0()) -> f(0(),0())
  f(x,y) -> f(y,x)

R is left-linear and every critical pair is almost development closed