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