Value may be incorrect in presence of several ensures (#1265) · Issues · pub / frama-c