Input TRS:
    1: a(x,y) -> b(x,b(0(),c(y)))
    2: c(b(y,c(x))) -> c(c(b(a(0(),0()),y)))
    3: b(y,0()) -> y
Number of Rules: 3
Direct QWPOS(mPol) ... failed.