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