MAYBE
MAYBE
TRS:
 {
      minus() -> 0(),
      minus() -> minus(),
        geq() -> true(),
        geq() -> geq(),
        geq() -> false(),
     div(0()) -> 0(),
    div(s(X)) -> if(geq()),
   if(true()) -> X,
  if(false()) -> Y
 }
 DUP: We consider a duplicating system.
  Trs:
   {
        minus() -> 0(),
        minus() -> minus(),
          geq() -> true(),
          geq() -> geq(),
          geq() -> false(),
       div(0()) -> 0(),
      div(s(X)) -> if(geq()),
     if(true()) -> X,
    if(false()) -> Y
   }
  Fail