let mk_false = Bitvector.mk_zero 1