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