YES

TRS:

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

linear polynomial interpretations on N:

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

precedence:

    empty