MAYBE
MAYBE
TRS:
 {
  b(b(0(), y), x) -> y,
       c(c(c(y))) -> c(c(a(a(c(b(0(), y)), 0()), 0()))),
        a(y, 0()) -> b(y, 0())
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
    b(b(0(), y), x) -> y,
         c(c(c(y))) -> c(c(a(a(c(b(0(), y)), 0()), 0()))),
          a(y, 0()) -> b(y, 0())
   }
  Fail