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