sig
  val name : string
  val debug : bool Pervasives.ref
  type t
  module StmtStartData :
    sig
      type data = t
      val clear : unit -> unit
      val mem : int -> bool
      val find : int -> data
      val replace : int -> data -> unit
      val add : int -> data -> unit
      val iter : (int -> data -> unit) -> unit
    end
  val pretty : Format.formatter -> Dataflow.BackwardsTransfer.t -> unit
  val funcExitData : Dataflow.BackwardsTransfer.t
  val combineStmtStartData :
    Cil_types.stmt ->
    old:Dataflow.BackwardsTransfer.t ->
    Dataflow.BackwardsTransfer.t -> Dataflow.BackwardsTransfer.t option
  val combineSuccessors :
    Dataflow.BackwardsTransfer.t ->
    Dataflow.BackwardsTransfer.t -> Dataflow.BackwardsTransfer.t
  val doStmt : Cil_types.stmt -> Dataflow.BackwardsTransfer.t Dataflow.action
  val doInstr :
    Cil_types.stmt ->
    Cil_types.instr ->
    Dataflow.BackwardsTransfer.t ->
    Dataflow.BackwardsTransfer.t Dataflow.action
  val filterStmt : Cil_types.stmt -> Cil_types.stmt -> bool
end