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