MAYBE

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

Proof:
 DP Processor:
  DPs:
   if#(if(x,y,z),u,v) -> if#(z,u,v)
   if#(if(x,y,z),u,v) -> if#(y,u,v)
   if#(if(x,y,z),u,v) -> if#(x,if(y,u,v),if(z,u,v))
  TRS:
   if(if(x,y,z),u,v) -> if(x,if(y,u,v),if(z,u,v))
  Restore Modifier:
   DPs:
    if#(if(x,y,z),u,v) -> if#(z,u,v)
    if#(if(x,y,z),u,v) -> if#(y,u,v)
    if#(if(x,y,z),u,v) -> if#(x,if(y,u,v),if(z,u,v))
   TRS:
    if(if(x,y,z),u,v) -> if(x,if(y,u,v),if(z,u,v))
   SCC Processor:
    #sccs: 1
    #rules: 3
    #arcs: 9/9
    DPs:
     if#(if(x,y,z),u,v) -> if#(z,u,v)
     if#(if(x,y,z),u,v) -> if#(y,u,v)
     if#(if(x,y,z),u,v) -> if#(x,if(y,u,v),if(z,u,v))
    TRS:
     if(if(x,y,z),u,v) -> if(x,if(y,u,v),if(z,u,v))
    Open