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