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