MAYBE
MAYBE
TRS:
 {
       nonZero(0()) -> false(),
      nonZero(s(x)) -> true(),
             p(0()) -> 0(),
            p(s(x)) -> x,
          id_inc(x) -> x,
          id_inc(x) -> s(x),
         rand(x, y) -> if(nonZero(x), x, y),
          random(x) -> rand(x, 0()),
  if(false(), x, y) -> y,
   if(true(), x, y) -> rand(p(x), id_inc(y))
 }
 DUP: We consider a duplicating system.
  Trs:
   {
         nonZero(0()) -> false(),
        nonZero(s(x)) -> true(),
               p(0()) -> 0(),
              p(s(x)) -> x,
            id_inc(x) -> x,
            id_inc(x) -> s(x),
           rand(x, y) -> if(nonZero(x), x, y),
            random(x) -> rand(x, 0()),
    if(false(), x, y) -> y,
     if(true(), x, y) -> rand(p(x), id_inc(y))
   }
  Fail