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