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