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