Slicing is sometimes not journalisable anymore (#1264) · Issues · pub / frama-c