Assertion failed with exact integer model in presence of unions (#2439) · Issues · pub / frama-c