MAYBE
MAYBE
TRS:
 {
            if(x, y, y) -> y,
  if(x, y, if(x, y, z)) -> if(x, y, z),
  if(x, if(x, y, z), z) -> if(x, y, z),
  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 duplicating system.
  Trs:
   {
              if(x, y, y) -> y,
    if(x, y, if(x, y, z)) -> if(x, y, z),
    if(x, if(x, y, z), z) -> if(x, y, z),
    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