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