HAC forbids the declaration of an array with port connections in the same statement1. For example, ‘inv x[4](i, o);’ is invalid. Given an array, one should declare the array up front and then connect the ports in a loop.
bool i[4], o[4];
inv x[4];
(;j:4:
x[j](i[j], o[j]);
)
[1] The rationale behind this decision is to disambiguate sparsely indexed declarations and arrayed connections. Most likely, such statements would form as the result of an error in translating from CAST.