Input TRS:
    1: f(a()) -> g(h(a()))
    2: h(g(x)) -> g(h(f(x)))
    3: k(x,h(x),a()) -> h(x)
    4: k(f(x),y,x) -> f(x)
Number of Rules: 4
Direct POLO(Sum) ... removes: 4 3
	I(a) = 0
	I(f) = x1
	I(g) = x1
	I(h) = x1
	I(k) = x1 + x2 + x3 + 1
Number of Rules: 2
Direct POLO(Sum) ...Direct QLPOS ...Direct QKBOS ... failed.