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