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