Constraint randomization of an array

In reply to gnich:

Both vf.sum (32’(item)) == 2048 and vf.sum (item+32’b0) == 2048 work for me. You’ll have to take it up with Cadence.