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