[Feature Request] Fixed array length

[zhenyu-zhou]

Although JDart is able to make an array symbolic element-wise, the size of the array cannot be treated. I understand the difficulty (or even impossibility) for this. But is it possible to assign a constant for such fields in advance? Therefore the field that cannot be treated directly could be assigned a value manually and the test will not crash.