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