MAYBE
MAYBE
TRS:
 {
      bin(x, 0()) -> s(0()),
  bin(s(x), s(y)) -> +(bin(x, s(y)), bin(x, y)),
   bin(0(), s(y)) -> 0()
 }
 DUP: We consider a duplicating system.
  Trs:
   {
        bin(x, 0()) -> s(0()),
    bin(s(x), s(y)) -> +(bin(x, s(y)), bin(x, y)),
     bin(0(), s(y)) -> 0()
   }
  Fail