Input TRS:
    1: c() -> f(n__g(n__c()))
    2: f(n__g(X)) -> g(activate(X))
    3: g(X) -> n__g(X)
    4: c() -> n__c()
    5: activate(n__g(X)) -> g(X)
    6: activate(n__c()) -> c()
    7: activate(X) -> X
Number of Rules: 7
Direct POLO(Sum) ... removes: 7 5 4
	I(c) = 1
	I(f) = x1 + 1
	I(g) = x1
	I(activate) = x1 + 1
	I(n__c) = 0
	I(n__g) = x1
Number of Rules: 4
Direct POLO(Sum) ...Direct QLPOS ...Direct QKBOS ... failed.