MAYBE
MAYBE
TRS:
 {
    cond(y, x, y) -> s(minus(x, s(y))),
      min(u, 0()) -> 0(),
  min(s(u), s(v)) -> s(min(u, v)),
      min(0(), v) -> 0(),
      minus(x, y) -> cond(min(x, y), x, y)
 }
 DUP: We consider a duplicating system.
  Trs:
   {
      cond(y, x, y) -> s(minus(x, s(y))),
        min(u, 0()) -> 0(),
    min(s(u), s(v)) -> s(min(u, v)),
        min(0(), v) -> 0(),
        minus(x, y) -> cond(min(x, y), x, y)
   }
  Fail