Systemverilog Array Sum Constraint