Typescript Dynamic Array Systemverilog Assertions