YES

TRS:

  if(true(),x,y) -> x
  if(false(),x,y) -> y
  if(x,y,y) -> y
  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{15, 26 + x1, 19 + x2, 16 + x3}
  if#_A(x1,x2,x3) = max{15, 26 + x1, 19 + x2, 16 + x3}
  true_A = 0
  true#_A = 0
  false_A = 0
  false#_A = 0
  u_A = 11
  u#_A = 11
  v_A = 17
  v#_A = 17

precedence:

  if > v > true = false = u