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