Contradiction tests bit_vector