MAYBE
Time: 0.003148
TRS:
 {2nd cons1(X, cons(Y, Z)) -> Y,
           2nd cons(X, X1) -> 2nd cons1(X, X1),
                    from X -> cons(X, from s X)}
 DP:
  DP:
   {2nd# cons(X, X1) -> 2nd# cons1(X, X1),
             from# X -> from# s X}
  TRS:
  {2nd cons1(X, cons(Y, Z)) -> Y,
            2nd cons(X, X1) -> 2nd cons1(X, X1),
                     from X -> cons(X, from s X)}
  UR:
   {}
   EDG:
    {(from# X -> from# s X, from# X -> from# s X)}
    STATUS:
     arrows: 0.750000
     SCCS (1):
      Scc:
       {from# X -> from# s X}
      
      
      SCC (1):
       Strict:
        {from# X -> from# s X}
       Weak:
       {2nd cons1(X, cons(Y, Z)) -> Y,
                 2nd cons(X, X1) -> 2nd cons1(X, X1),
                          from X -> cons(X, from s X)}
       Fail