YES
Input TRS:
      1: if(if(x,y,z),u,v) -> if(x,if(y,u,v),if(z,u,v))
Number of strict rules: 1
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
     #1: #if(if(x,y,z),u,v) -> #if(x,if(y,u,v),if(z,u,v))
     #2: #if(if(x,y,z),u,v) -> #if(y,u,v)
     #3: #if(if(x,y,z),u,v) -> #if(z,u,v)
Number of SCCs: 1, DPs: 3
  SCC { #1..3 }
POLO(Sum)... succeeded.
      if	w: x1 + x2 + x3 + 1
      #if	w: x1
    USABLE RULES: { }
    Removed DPs: #1..3
Number of SCCs: 0, DPs: 0