sig
  val add_lval :
    Context.t -> Cil_types.kinstr -> Cil_types.lval -> Dive_types.node
  val add_var : Context.t -> Cil_types.varinfo -> Dive_types.node
  val add_alarm :
    Context.t -> Cil_types.stmt -> Alarms.alarm -> Dive_types.node
  val add_annotation :
    Context.t ->
    Cil_types.stmt -> Cil_types.code_annotation -> Dive_types.node option
  val add_stmt : Context.t -> Cil_types.stmt -> Dive_types.node option
  val add_property : Context.t -> Property.t -> Dive_types.node option
  val add_localizable :
    Context.t -> Printer_tag.localizable -> Dive_types.node option
  val explore_forward : depth:int -> Context.t -> Dive_types.node -> unit
  val explore_backward : depth:int -> Context.t -> Dive_types.node -> unit
  val show : Context.t -> Dive_types.node -> unit
  val hide : Context.t -> Dive_types.node -> unit
  val reduce_to_horizon :
    Context.t -> int option Dive_types.range -> Dive_types.node -> unit
end