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