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