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