MAYBE
TRS:
 {cons(x, cons(y, z)) -> big(),
               inf(x) -> cons(x, inf(s(x)))}
 DP:
  Strict:
   {inf#(x) -> cons#(x, inf(s(x))),
    inf#(x) -> inf#(s(x))}
  Weak:
  {cons(x, cons(y, z)) -> big(),
                inf(x) -> cons(x, inf(s(x)))}
  EDG:
   {(inf#(x) -> inf#(s(x)), inf#(x) -> inf#(s(x)))
    (inf#(x) -> inf#(s(x)), inf#(x) -> cons#(x, inf(s(x))))}
   SCCS:
    Scc:
     {inf#(x) -> inf#(s(x))}
    SCC:
     Strict:
      {inf#(x) -> inf#(s(x))}
     Weak:
     {cons(x, cons(y, z)) -> big(),
                   inf(x) -> cons(x, inf(s(x)))}
     Fail