MAYBE
MAYBE
TRS:
 {
            d(x) -> if(le(x, s(s(s(s(s(s(s(s(s(0())))))))))), x),
        digits() -> d(0()),
   if(true(), x) -> cons(x, d(s(x))),
  if(false(), x) -> nil(),
      le(0(), y) -> true(),
   le(s(x), 0()) -> false(),
  le(s(x), s(y)) -> le(x, y)
 }
 DUP: We consider a duplicating system.
  Trs:
   {
              d(x) -> if(le(x, s(s(s(s(s(s(s(s(s(0())))))))))), x),
          digits() -> d(0()),
     if(true(), x) -> cons(x, d(s(x))),
    if(false(), x) -> nil(),
        le(0(), y) -> true(),
     le(s(x), 0()) -> false(),
    le(s(x), s(y)) -> le(x, y)
   }
  Fail