Input TRS:
    1: f(h(x)) -> f(i(x))
    2: f(i(x)) -> a()
    3: i(x) -> h(x)
Number of Rules: 3
Direct POLO(Sum) ... removes: 2
	I(a) = 0
	I(f) = x1 + 1
	I(h) = x1
	I(i) = x1
Number of Rules: 2
Direct POLO(Sum) ...Direct QLPOS ...Direct QKBOS ... failed.