YES

# Parallel rule labeling (Zankl et al. 2015).

Consider the left-linear TRS R:

  -(+(x(),-(x()))) -> 0()
  +(x(),-(x())) -> 0()
  0() -> -(0())

All parallel critical peaks (except C's) are decreasing wrt rule labeling:

  phi(-(+(x(),-(x()))) -> 0()) = 3
  phi(+(x(),-(x())) -> 0()) = 1
  phi(0() -> -(0())) = 2

  psi(-(+(x(),-(x()))) -> 0()) = 3
  psi(+(x(),-(x())) -> 0()) = 1
  psi(0() -> -(0())) = 2