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