add frama-c version of mismatch