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