sig   val do_all_rte : Cil_datatype.Kf.t -> unit   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 exp_annotations :     Cil_datatype.Kf.t ->     Cil_datatype.Stmt.t ->     Cil_datatype.Exp.t -> Cil_datatype.Code_annotation.t list   val emitter : Emitter.t   val get_rte_annotations :     Cil_datatype.Stmt.t -> Cil_datatype.Code_annotation.t list end