Input TRS:
    1: f(0()) -> s(0())
    2: f(s(0())) -> s(s(0()))
    3: f(s(0())) -> *(s(s(0())),f(0()))
    4: f(+(x,s(0()))) -> +(s(s(0())),f(x))
    5: f(+(x,y)) -> *(f(x),f(y))
Number of Rules: 5
Direct QWPOS(Pol) ... orients all.
	I(*) = x1 + x2	sigma(*) = [1,2]
	I(+) = 3 * x1 + 2 * x2 + 3	sigma(+) = [1,2]
	I(0) = 3
	I(f) = 3 * x1 + 1	sigma(f) = [1]
	I(s) = x1 + 3	sigma(s) = [1]
    PREC: 0 = f = s > * > +
Number of Rules: 0