MAYBE
MAYBE
TRS:
 {
   -(x, 0()) -> x,
  -(x, s(y)) -> if(greater(x, s(y)), s(-(x, p(s(y)))), 0()),
   -(0(), y) -> 0(),
      p(0()) -> 0(),
     p(s(x)) -> x
 }
 DUP: We consider a duplicating system.
  Trs:
   {
     -(x, 0()) -> x,
    -(x, s(y)) -> if(greater(x, s(y)), s(-(x, p(s(y)))), 0()),
     -(0(), y) -> 0(),
        p(0()) -> 0(),
       p(s(x)) -> x
   }
  Fail