r12951, sliced program does not terminate (#2154) · Issues · pub / frama-c