Input TRS:
    1: f() -> f()
Number of Rules: 1
Direct QWPOS(mSum) ... failed.