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