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