YES

TRS:

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

max/plus interpretations on N:

  :_A(x1,x2) = max{2, 3, 1}
  :#_A(x1,x2) = max{0, -3, 0}
  C_A = 1
  C#_A = 0

precedence:

  : = C