sig
val preprocess : Cil_types.file -> unit
val preprocess_annot : Cil_types.code_annotation -> unit
val preprocess_predicate : Cil_types.predicate -> unit
val get_pred : Cil_types.predicate -> Cil_types.predicate
val get_term : Cil_types.term -> Cil_types.term
val clear : unit -> unit
end