YES

TRS:

  :(:(:(:(C(),x),y),z),u) -> :(:(x,z),:(:(:(x,y),z),u))

max/plus interpretations on N:

  :_A(x1,x2) = max{0, x1, x2}
  :#_A(x1,x2) = max{0, x1, x2}
  C_A = 0
  C#_A = 0

precedence:

  : = C