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