Internal error with assign specification on bi-dimensional arrays (#2542) · Issues · pub / frama-c