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 -> Lscope.pred_or_term
val get_term : Cil_types.term -> Cil_types.term
val clear : unit -> unit
end