Simplification of array initializer for generated Why3 code
For array initializer of Why3 automatically generated code, some simplifications can sometimes be done. This ticket is about writing a transformations to simplify these array initialization. This is relevant to new_ide only (corresponding draft branch is array_initializer).