Input TRS:
    1: +(0(),y) -> y
    2: +(s(x),y) -> s(+(x,y))
    3: -(0(),y) -> 0()
    4: -(x,0()) -> x
    5: -(s(x),s(y)) -> -(x,y)
Number of Rules: 5
Direct QLPOS ... orients all.
	sigma(+) = [1,2]
	sigma(-) = [1,2]
	sigma(s) = [1]
    PREC: + = - = 0 > s
Number of Rules: 0