sig
  val get_preprocessed_quantifier :
    Cil_types.predicate ->
    ((Cil_types.term * Cil_types.logic_var * Cil_types.term) list *
     Cil_types.predicate)
    Error.or_error
  val add_guard_for_small_type :
    Cil_types.logic_var -> Cil_types.predicate -> unit
  val get_guard_for_small_type :
    Cil_types.logic_var -> Cil_types.predicate option
  val replace :
    Cil_types.predicate ->
    (Cil_types.term * Cil_types.logic_var * Cil_types.term) list ->
    Cil_types.predicate -> unit
  val clear_guards : unit -> unit
  val preprocess : Cil_types.file -> unit
  val preprocess_annot : Cil_types.code_annotation -> unit
  val preprocess_predicate : Cil_types.predicate -> unit
end