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