Input TRS:
    1: g(0(),f(x,x)) -> x
    2: g(x,s(y)) -> g(f(x,y),0())
    3: g(s(x),y) -> g(f(x,y),0())
    4: g(f(x,y),0()) -> f(g(x,0()),g(y,0()))
Number of Rules: 4
Direct POLO(mPol) ... orients all.
	I(0) = 0
	I(f) = x1 + x2 + 2
	I(g) = 3 * x1 + 3 * x2 + 3
	I(s) = 2 * x1 + 3
Number of Rules: 0