Assertion failed instead of typing error report (#1632) · Issues · pub / frama-c