Input TRS:
    1: c() -> f()
    2: f() -> g()
Number of Rules: 2
Direct QWPOS(max) ... orients all.
	I(c) = 2
	I(f) = 1
	I(g) = 0
    PREC: c > f > g
Number of Rules: 0