sig
  val name : string
  val debug : bool Pervasives.ref
  type t
  val pretty : unit -> Dataflow.BackwardsTransfer.t -> Pretty.doc
  val stmtStartData : Dataflow.BackwardsTransfer.t Inthash.t
  val funcExitData : Dataflow.BackwardsTransfer.t
  val combineStmtStartData :
    Cil.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.stmt -> Dataflow.BackwardsTransfer.t Dataflow.action
  val doInstr :
    Cil.instr ->
    Dataflow.BackwardsTransfer.t ->
    Dataflow.BackwardsTransfer.t Dataflow.action
  val filterStmt : Cil.stmt -> Cil.stmt -> bool
end