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