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