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), zero(0()) -> true(), zero(s(x)) -> false(), conv(x) -> conviter(x, cons(0(), nil())), conviter(x, l) -> if(zero(x), x, l), if(true(), x, l) -> l, if(false(), x, l) -> conviter(half(x), cons(lastbit(x), l))} Fail