MAYBE
MAYBE
TRS:
 {
               zeros() -> cons(0(), n__zeros()),
               zeros() -> n__zeros(),
           activate(X) -> X,
  activate(n__zeros()) -> zeros(),
     tail(cons(X, XS)) -> activate(XS)
 }
 Fail