let
mk_conj a b =
Bitvector
.mk_bitwise 1 a b (mk_false)