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