Input TRS:
    1: active(f(f(X))) -> mark(c(f(g(f(X)))))
    2: active(c(X)) -> mark(d(X))
    3: active(h(X)) -> mark(c(d(X)))
    4: active(f(X)) -> f(active(X))
    5: active(h(X)) -> h(active(X))
    6: f(mark(X)) -> mark(f(X))
    7: h(mark(X)) -> mark(h(X))
    8: proper(f(X)) -> f(proper(X))
    9: proper(c(X)) -> c(proper(X))
    10: proper(g(X)) -> g(proper(X))
    11: proper(d(X)) -> d(proper(X))
    12: proper(h(X)) -> h(proper(X))
    13: f(ok(X)) -> ok(f(X))
    14: c(ok(X)) -> ok(c(X))
    15: g(ok(X)) -> ok(g(X))
    16: d(ok(X)) -> ok(d(X))
    17: h(ok(X)) -> ok(h(X))
    18: top(mark(X)) -> top(proper(X))
    19: top(ok(X)) -> top(active(X))
Number of Rules: 19
Direct POLO(Pol) ... failed.