Input TRS:
    1: h(f(x),y) -> f(g(x,y))
    2: g(x,y) -> h(x,y)
Number of Rules: 2
Direct POLO(Sum) ...Direct QLPOS ... removes: 1
	sigma(f) = [1]
	sigma(g) = [1,2]
	sigma(h) = [1,2]
    PREC: g = h > f
Number of Rules: 1
Direct POLO(Sum) ... removes: 2
	I(g) = x1 + x2 + 1
	I(h) = x1 + x2
Number of Rules: 0