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