Support arrays in SDC generation