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 POLO(Pol) ... orients all.
	I(0) = 2
	I(f) = 3 * x1 + 2
	I(g) = 3 * x1 + 2
	I(s) = x1 + 1
Number of Rules: 0