Input TRS:
    1: f(x) -> g(f(x))
    2: g(f(x)) -> x
    3: g(x) -> a()
Number of Rules: 3
Direct QWPOS(mSum) ... failed.