Input TRS:
    1: g(0()) -> 0()
    2: g(s(x)) -> f(g(x))
    3: f(0()) -> 0()
Number of Rules: 3
Direct QWPOS(mSum) ... orients all.
	I(0) = 0
	I(f) = x1	sigma(f) = [1]
	I(g) = x1	sigma(g) = [1]
	I(s) = x1 + 1	sigma(s) = [1]
    PREC: 0 = s > g > f
Number of Rules: 0