YES

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

Consider the left-linear TRS R:

  f(a(),f(x,a())) -> f(a(),f(f(a(),a()),a()))

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

  phi(f(a(),f(x,a())) -> f(a(),f(f(a(),a()),a()))) = 1

  psi(f(a(),f(x,a())) -> f(a(),f(f(a(),a()),a()))) = 1