Jessie crashes on simple program without annotations (#2543) · Issues · pub / frama-c