sig
  val name : string
  val debug : bool Pervasives.ref
  type t
  val copy : Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t
  val stmtStartData : Dataflow.ForwardsTransfer.t Inthash.t
  val pretty : unit -> Dataflow.ForwardsTransfer.t -> Pretty.doc
  val computeFirstPredecessor :
    Cil.stmt -> Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t
  val combinePredecessors :
    Cil.stmt ->
    old:Dataflow.ForwardsTransfer.t ->
    Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t option
  val doInstr :
    Cil.instr ->
    Dataflow.ForwardsTransfer.t ->
    Dataflow.ForwardsTransfer.t Dataflow.action
  val doStmt :
    Cil.stmt ->
    Dataflow.ForwardsTransfer.t ->
    Dataflow.ForwardsTransfer.t Dataflow.stmtaction
  val doGuard :
    Cil.exp ->
    Dataflow.ForwardsTransfer.t ->
    Dataflow.ForwardsTransfer.t Dataflow.guardaction
  val filterStmt : Cil.stmt -> bool
end