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