[E-ACSL] fix previous commit in case of multiple initializers (requires an up-to-date Frama-C kernel)