Frama-C implementation fix