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 QLPOS ... orients all.
	sigma(*) = [2,1]
	sigma(+) = [1,2]
	sigma(f) = [1]
	sigma(s) = [1]
    PREC: + = 0 = f > * = s
Number of Rules: 0