TRS:
 {                from(X) -> cons(X, from(s(X))),
        head(cons(X, XS)) -> X,
         2nd(cons(X, XS)) -> head(XS),
            take(0(), XS) -> nil(),
  take(s(N), cons(X, XS)) -> cons(X, take(N, XS)),
    sel(0(), cons(X, XS)) -> X,
   sel(s(N), cons(X, XS)) -> sel(N, XS)}
 Fail