Input TRS:
    1: incr(nil()) -> nil()
    2: incr(cons(X,L)) -> cons(s(X),n__incr(activate(L)))
    3: adx(nil()) -> nil()
    4: adx(cons(X,L)) -> incr(cons(X,n__adx(activate(L))))
    5: nats() -> adx(zeros())
    6: zeros() -> cons(0(),n__zeros())
    7: head(cons(X,L)) -> X
    8: tail(cons(X,L)) -> activate(L)
    9: incr(X) -> n__incr(X)
    10: adx(X) -> n__adx(X)
    11: zeros() -> n__zeros()
    12: activate(n__incr(X)) -> incr(X)
    13: activate(n__adx(X)) -> adx(X)
    14: activate(n__zeros()) -> zeros()
    15: activate(X) -> X
Number of Rules: 15
Direct QWPOS(Pol) ... failed.