YES

TRS:

  b(x,y) -> c(a(c(y),a(0(),x)))
  a(y,x) -> y
  a(y,c(b(a(0(),x),0()))) -> b(a(c(b(0(),y)),x),0())

max/plus interpretations on N:

  b_A(x1,x2) = max{93, 27 + x1, -16 + x2}
  b#_A(x1,x2) = max{91, 18 + x1, 1 + x2}
  c_A(x1) = max{28, -11 + x1}
  c#_A(x1) = max{17, 2}
  a_A(x1,x2) = max{88, 6 + x1, 15 + x2}
  a#_A(x1,x2) = max{3, 4 + x1, 2 + x2}
  0_A = 63
  0#_A = 0

precedence:

  a > b > c > 0