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{3, -4, -3, 3}
  if#_A(x1,x2,x3) = max{1, 0, 5, 2 + x3}

precedence:

    empty