MAYBE
MAYBE
TRS:
 {
               from(X) -> cons(X),
        after(0(), XS) -> XS,
  after(s(N), cons(X)) -> after(N, XS)
 }
 DUP: We consider a duplicating system.
  Trs:
   {
                 from(X) -> cons(X),
          after(0(), XS) -> XS,
    after(s(N), cons(X)) -> after(N, XS)
   }
  Fail