YES

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

Consider the left-linear TRS R:

  h(a(),b()) -> a()
  f(c()) -> f(c())
  c() -> h(a(),h(b(),b()))

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

  phi(h(a(),b()) -> a()) = 1
  phi(f(c()) -> f(c())) = 1
  phi(c() -> h(a(),h(b(),b()))) = 1

  psi(h(a(),b()) -> a()) = 1
  psi(f(c()) -> f(c())) = 1
  psi(c() -> h(a(),h(b(),b()))) = 1