MAYBE
Time: 0.001022
TRS:
 {                from X -> cons(X, from s X),
  first(s X, cons(Y, Z)) -> cons(Y, first(X, Z)),
           first(0(), Z) -> nil(),
    sel(s X, cons(Y, Z)) -> sel(X, Z),
    sel(0(), cons(X, Z)) -> X}
 DP:
  DP:
   {                from# X -> from# s X,
    first#(s X, cons(Y, Z)) -> first#(X, Z),
      sel#(s X, cons(Y, Z)) -> sel#(X, Z)}
  TRS:
  {                from X -> cons(X, from s X),
   first(s X, cons(Y, Z)) -> cons(Y, first(X, Z)),
            first(0(), Z) -> nil(),
     sel(s X, cons(Y, Z)) -> sel(X, Z),
     sel(0(), cons(X, Z)) -> X}
  UR:
   {}
   EDG:
    {(from# X -> from# s X, from# X -> from# s X)}
    STATUS:
     arrows: 0.888889
     SCCS (1):
      Scc:
       {from# X -> from# s X}
      
      SCC (1):
       Strict:
        {from# X -> from# s X}
       Weak:
       {                from X -> cons(X, from s X),
        first(s X, cons(Y, Z)) -> cons(Y, first(X, Z)),
                 first(0(), Z) -> nil(),
          sel(s X, cons(Y, Z)) -> sel(X, Z),
          sel(0(), cons(X, Z)) -> X}
       Open