Module Frama_c_kernel.Undefined_sequence

val check_sequences : Cil_types.file -> unit