sig
  val add :
    Cil_types.stmt ->
    Db_types.rooted_code_annotation Db_types.before_after -> unit
  val add_assert :
    Cil_types.stmt ->
    before:bool -> Cil_types.predicate Cil_types.named -> unit
  val add_alarm :
    Cil_types.stmt ->
    before:bool -> Alarms.t -> Cil_types.predicate Cil_types.named -> unit
  val replace :
    Cil_types.stmt ->
    Db_types.rooted_code_annotation Db_types.before_after -> unit
  val reset_stmt : Cil_types.stmt -> unit
  val get :
    Cil_types.stmt ->
    Db_types.rooted_code_annotation Db_types.before_after list
  val get_filter :
    (Cil_types.code_annotation -> bool) ->
    Cil_types.stmt ->
    Db_types.rooted_code_annotation Db_types.before_after list
  val filter :
    (Cil_types.stmt ->
     Db_types.rooted_code_annotation Db_types.before_after -> bool) ->
    unit
  val iter :
    (Cil_types.stmt ->
     Db_types.rooted_code_annotation Db_types.before_after list
     Pervasives.ref -> unit) ->
    unit
  val self : Project.Computation.t
end