Module Bitvector_Basis.Boolean_Backward