Input TRS:
    1: g(X) -> h(activate(X))
    2: c() -> d()
    3: h(n__d()) -> g(n__c())
    4: d() -> n__d()
    5: c() -> n__c()
    6: activate(n__d()) -> d()
    7: activate(n__c()) -> c()
    8: activate(X) -> X
Number of Rules: 8
Direct POLO(mPol) ... failed.