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