TRS:
 {       half(0()) -> 0(),
      half(s(0())) -> 0(),
     half(s(s(x))) -> s(half(x)),
      lastbit(0()) -> 0(),
   lastbit(s(0())) -> s(0()),
  lastbit(s(s(x))) -> lastbit(x),
         conv(0()) -> cons(nil(), 0()),
        conv(s(x)) -> cons(conv(half(s(x))), lastbit(s(x)))}
 Fail