type error in generated why file (#2494) · Issues · pub / frama-c