let mk_false () = Bitvector.mk_zero 1