Expand arrays in when conditions with the NF

[Francesco Casella]

Please consider the ​ScalableTestSuite.Elementary.WhenEvents.Verification.ManyEventsManyConditions model.

The old FE the when equation by expanding the vector condition

    when {e[1], e[2], e[3], e[4], e[5], e[6], e[7], e[8], e[9], e[10], e[11], e[12], e[13], e[14], e[15], e[16], e[17], e[18], e[19], e[20]} then
      v = 1 + pre(v);
    end when;

while the new FE keeps it as a vector

    when e then
      v = 1 + pre(v);
    end when;

which subsequently causes the code generation to fail.

As long as the NF is eventually generating flat scalarized DAEs, I think it should also expand the vector expression in the when statement, when generating the DAE data structure.

[Per Östlund]

Fixed in 9523ebe.