Input TRS:
    1: f(0()) -> cons(0(),f(s(0())))
    2: f(s(0())) -> f(p(s(0())))
    3: p(s(0())) -> 0()
Number of Rules: 3
Direct QWPOS(max) ... failed.