conditional expression (?:) raises uncaught exception under why-2.30 (#1907) · Issues · pub / frama-c