Unexpected error (File "interp.ml", line 1996, characters 8-14: Assertion failed) (#2176) · Issues · pub / frama-c