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