Input TRS:
    1: a(b(a(x))) -> b(a(b(x)))
Number of Rules: 1
Direct QWPOS(Sum) ... orients all.
	I(a) = x1 + 1	sigma(a) = [1]
	I(b) = x1	sigma(b) = [1]
    PREC: a = b
Number of Rules: 0