Input TRS:
    1: f(s(X)) -> f(X)
    2: g(cons(0(),Y)) -> g(Y)
    3: g(cons(s(X),Y)) -> s(X)
    4: h(cons(X,Y)) -> h(g(cons(X,Y)))
Number of Rules: 4
Direct POLO(Sum) ... removes: 3 2 1
	I(0) = 0
	I(f) = x1
	I(g) = x1
	I(h) = x1
	I(s) = x1 + 1
	I(cons) = x1 + x2 + 1
Number of Rules: 1
Direct POLO(Sum) ...Direct QLPOS ...Direct QKBOS ... failed.