When dealing with associative arrays using strings as indices, like the example below:

class AssocArrayIntegral;
    rand int str_index [string];

    constraint c1{ 
        foreach (str_index[i]) str_index[i] > 10;  // nodep->bitp() would be VARREF, instead of CVTPACKSTRING
    }
    constraint c2 {
        str_index["key1"] == 100;
    }
    
    ...
endclass

Depending on the constraint expression (whether it is within a foreach loop or not), the type of nodep->bitp() in V3Randomize.cpp changes. This causes issues with handling the width of the string index properly.

We are currently addressing this issue, and a fix will be pushed soon.