VRP: Adapt meaning of bits_not_set