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