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