MAYBE
Time: 0.005523
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)}
 DP:
  DP:
   {          d# x -> if#(le(x, s s s s s s s s s 0()), x),
              d# x -> le#(x, s s s s s s s s s 0()),
         digits#() -> d# 0(),
    if#(true(), x) -> d# s x,
     le#(s x, s y) -> le#(x, y)}
  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)}
  EDG:
   {(d# x -> if#(le(x, s s s s s s s s s 0()), x), if#(true(), x) -> d# s x)
    (d# x -> le#(x, s s s s s s s s s 0()), le#(s x, s y) -> le#(x, y))
    (if#(true(), x) -> d# s x, d# x -> if#(le(x, s s s s s s s s s 0()), x))
    (if#(true(), x) -> d# s x, d# x -> le#(x, s s s s s s s s s 0()))
    (digits#() -> d# 0(), d# x -> if#(le(x, s s s s s s s s s 0()), x))
    (digits#() -> d# 0(), d# x -> le#(x, s s s s s s s s s 0()))
    (le#(s x, s y) -> le#(x, y), le#(s x, s y) -> le#(x, y))}
   STATUS:
    arrows: 0.720000
    SCCS (2):
     Scc:
      {          d# x -> if#(le(x, s s s s s s s s s 0()), x),
       if#(true(), x) -> d# s x}
     Scc:
      {le#(s x, s y) -> le#(x, y)}
     
     
     SCC (2):
      Strict:
       {          d# x -> if#(le(x, s s s s s s s s s 0()), x),
        if#(true(), x) -> d# s x}
      Weak:
      {           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)}
      Open
     
     SCC (1):
      Strict:
       {le#(s x, s y) -> le#(x, y)}
      Weak:
      {           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)}
      Open