File "src/kernel/cilE.ml", line 372, characters 13-19: Assertion failed (#2392) · Issues · pub / frama-c