sig
val get_first_inner_stmt : Cil_types.stmt -> Cil_types.stmt
val at_for_stmt :
Cil_types.stmt -> Analyses_datatype.At_data.Set.t Error.result
val preprocess : Cil_types.file -> unit
val reset : unit -> unit
val _debug : unit -> unit
val has_empty_quantif_ref :
((Cil_types.term * Cil_types.logic_var * Cil_types.term) list -> bool)
Stdlib.ref
end