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