scfed program behaves differently from original (#2084) · Issues · pub / frama-c