Input TRS:
    1: g() -> h()
    2: c() -> d()
    3: h() -> g()
Number of Rules: 3
Direct POLO(mPol) ... failed.