Input TRS:
    1: zeros() -> cons(0(),zeros())
    2: tail(cons(X,XS)) -> XS
Number of Rules: 2
Direct POLO(Pol) ... failed.