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