Incorrect states passed to value analysis callbacks in presence of slevel (#1253) · Issues · pub / frama-c