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