MAYBE
MAYBE
TRS:
 {
               cons(X1, X2) -> n__cons(X1, X2),
                    from(X) -> cons(X, n__from(s(X))),
                    from(X) -> n__from(X),
           length(n__nil()) -> 0(),
      length(n__cons(X, Y)) -> s(length1(activate(Y))),
                 length1(X) -> length(activate(X)),
                activate(X) -> X,
       activate(n__from(X)) -> from(X),
         activate(n__nil()) -> nil(),
  activate(n__cons(X1, X2)) -> cons(X1, X2),
                      nil() -> n__nil()
 }
 DUP: We consider a duplicating system.
  Trs:
   {
                 cons(X1, X2) -> n__cons(X1, X2),
                      from(X) -> cons(X, n__from(s(X))),
                      from(X) -> n__from(X),
             length(n__nil()) -> 0(),
        length(n__cons(X, Y)) -> s(length1(activate(Y))),
                   length1(X) -> length(activate(X)),
                  activate(X) -> X,
         activate(n__from(X)) -> from(X),
           activate(n__nil()) -> nil(),
    activate(n__cons(X1, X2)) -> cons(X1, X2),
                        nil() -> n__nil()
   }
  Fail