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