Source span annotations crash Why3 IDE
Since enabling source-spans in Why3, I've occasionally noticed that why3 ide crashes when handling source spans, producing messages along the following lines:
exception 'anomaly: Invalid_argument("(cannot open ../01_range.rs)")' was raised in a LablGtk callback.
I feel like it should fail gracefully when that happens and just ignore the relevant spans.