YES

TRS:

  if(if(x,y,z),u,v) -> if(x,if(y,u,v),if(z,u,v))

max/plus interpretations on N:

  if_A(x1,x2,x3) = max{0, x1, x2, x3}
  if#_A(x1,x2,x3) = max{0, x1, x2, x3}

precedence:

    empty