Input TRS:
    1: f(g(X)) -> f(X)
Number of Rules: 1
Direct QWPOS(Sum) ... orients all.
	I(f) = x1	sigma(f) = [1]
	I(g) = x1	sigma(g) = [1]
    PREC: f = g
Number of Rules: 0