MAYBE
Time: 0.033297
TRS:
 {cons(x, cons(y, z)) -> big(),
                inf x -> cons(x, inf s x)}
 DP:
  DP:
   {inf# x -> cons#(x, inf s x),
    inf# x -> inf# s x}
  TRS:
  {cons(x, cons(y, z)) -> big(),
                 inf x -> cons(x, inf s x)}
  UR:
   {cons(x, cons(y, z)) -> big(),
                  inf x -> cons(x, inf s x),
                a(w, v) -> w,
                a(w, v) -> v}
   EDG:
    {(inf# x -> inf# s x, inf# x -> inf# s x)
     (inf# x -> inf# s x, inf# x -> cons#(x, inf s x))}
    STATUS:
     arrows: 0.500000
     SCCS (1):
      Scc:
       {inf# x -> inf# s x}
      
      SCC (1):
       Strict:
        {inf# x -> inf# s x}
       Weak:
       {cons(x, cons(y, z)) -> big(),
                      inf x -> cons(x, inf s x)}
       Fail