Which doesn't mean that Ada is DTRT. On the contrary, Ada ought to be
fixed. It's an ugly hack in extract_range_from_assert:It wasn't a bug in the Ada front end, but in fold, which was long-ago fixed. I thought this was removed a long time ago?
