MAYBE
MAYBE
TRS:
 {
   cond(true(), x, y) -> cond(and(gr(x, 0()), gr(y, 0())), p(x), p(y)),
      and(x, false()) -> false(),
  and(true(), true()) -> true(),
      and(false(), x) -> false(),
           gr(0(), x) -> false(),
         gr(0(), 0()) -> false(),
        gr(s(x), 0()) -> true(),
       gr(s(x), s(y)) -> gr(x, y),
               p(0()) -> 0(),
              p(s(x)) -> x
 }
 DUP: We consider a duplicating system.
  Trs:
   {
     cond(true(), x, y) -> cond(and(gr(x, 0()), gr(y, 0())), p(x), p(y)),
        and(x, false()) -> false(),
    and(true(), true()) -> true(),
        and(false(), x) -> false(),
             gr(0(), x) -> false(),
           gr(0(), 0()) -> false(),
          gr(s(x), 0()) -> true(),
         gr(s(x), s(y)) -> gr(x, y),
                 p(0()) -> 0(),
                p(s(x)) -> x
   }
  Fail