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