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