}
    
    bool BitVecIsSubset(BitVec *bv1, BitVec *bv2) {
    ValidateBitVec(bv1);
    ValidateBitVec(bv2);

    
    bool BitVecIsSuperset(BitVec *bv1, BitVec *bv2) {
    return BitVecIsSubset(bv2, bv1);
    }

    // Test BitVecIsSubset function
    bool test_bitvec_is_subset(void) {
    printf("Testing BitVecIsSubset\n");
    
    BitVec subset   = BitVecInit();

    
    // subset should be a subset of superset (all 1s in subset are also 1s in superset)
    bool result = BitVecIsSubset(&subset, &superset);
    
    // Test non-subset case

    BitVecSet(&superset, 2, false); // Change superset to 1101
    // Now subset (1010) is not a subset of superset (1101) because subset has 1 at position 2
    result = result && !BitVecIsSubset(&subset, &superset);
    
    // Test equal sets (should be subset)

    BitVecPush(&superset, false);
    
    result = result && BitVecIsSubset(&subset, &superset);
    
    // Clean up

    BitVecClear(&bv1);
    BitVecClear(&bv2);
    result = result && BitVecIsSubset(&bv1, &bv2); // Empty is subset of empty
    
    BitVecDeinit(&bv1);

    BitVecPush(&superset, true);
    
    result = result && BitVecIsSubset(&subset, &superset);
    result = result && BitVecIsSuperset(&superset, &subset);

    
    // Test NULL pointer - should abort
    BitVecIsSubset(NULL, NULL);
    
    return false;