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