goto L; with L: in a if/else branch (#1182) · Issues · pub / frama-c