sig
val get_preprocessed_quantifier :
Cil_types.predicate ->
((Cil_types.term * Cil_types.logic_var * Cil_types.term) list *
Cil_types.predicate)
Error.result
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