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