sig
  val do_all_rte : Cil_datatype.Kf.t -> unit
  val exp_annotations :
    Cil_datatype.Kf.t ->
    Cil_datatype.Stmt.t ->
    Cil_datatype.Exp.t -> Cil_datatype.Code_annotation.t list
  val stmt_annotations :
    Cil_datatype.Kf.t ->
    Cil_datatype.Stmt.t -> Cil_datatype.Code_annotation.t list
  val do_precond : Cil_datatype.Kf.t -> unit
  val emitter : Emitter.t
  val get_rte_annotations :
    Cil_datatype.Stmt.t -> Cil_datatype.Code_annotation.t list
end