System Verilog Array Constraints Synonym