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