TIMEOUT
MAYBE
Trs:
 {    a(0(), x) -> c(c(x)),
  c(c(b(c(x)))) -> b(a(0(), c(x))),
        c(c(x)) -> b(c(b(c(x))))}
 Open