System Verilog Array Constraints Definition Chemistry