YES

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

Consider the left-linear TRS R:

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

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

  phi(b(b(c(a(b(c(x)))))) -> a(b(b(c(b(c(a(x)))))))) = 1

  psi(b(b(c(a(b(c(x)))))) -> a(b(b(c(b(c(a(x)))))))) = 1