Input TRS:
    1: f(X) -> g(n__h(f(X)))
    2: h(X) -> n__h(X)
    3: activate(n__h(X)) -> h(X)
    4: activate(X) -> X
Number of Rules: 4
Direct QWPOS(Pol) ... failed.