MAYBE
MAYBE
TRS:
 {          zeros() -> cons(0(), zeros()),
  tail(cons(X, XS)) -> XS}
 DUP: We consider a non-duplicating system.
  Trs:
   {          zeros() -> cons(0(), zeros()),
    tail(cons(X, XS)) -> XS}
  Fail