Std::randomize question

SystemVerilog
3

In reply to ABD_91:

correction to the constraint:

if( std::randomize(a) with {a inside {0,4’b1111}; prev_a == 15 → a!= 15; } )