// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
void AggregateCopyPropagation::ResetBit(BitVector& vector, int bit) {
    if(vector.BitCount() == (bit + 1)) {
        vector.Resize(bit + 4);
    }
    
    vector.ResetBit(bit);
}