Add support for sets of integer intervals.
Add support for sequence points to CompCert C.