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