MAYBE
MAYBE
TRS:
 {if(if(x, y, z), u, v) -> if(x, if(y, u, v), if(z, u, v))}
 DUP: We consider a duplicating system.
  Trs:
   {if(if(x, y, z), u, v) -> if(x, if(y, u, v), if(z, u, v))}
  Fail