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