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