Input TRS:
    1: c() -> f(g(c()))
    2: f(g(X)) -> g(X)
Number of Rules: 2
Direct POLO(mSum) ... failed.