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