Input TRS:
    1: c() -> f()
    2: f() -> g()
Number of Rules: 2
Direct POLO(Pol) ... orients all.
	I(c) = 3
	I(f) = 2
	I(g) = 0
Number of Rules: 0