assigns clauses are missing from the sliced program (#2390) · Issues · pub / frama-c