make frama-c a bit happier
new combiner API allows you to specify custom merge operations on intmap keys