sig
  val name : string
  val debug : bool Pervasives.ref
  type t
  val copy : Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t
  val pretty : Format.formatter -> Dataflow.ForwardsTransfer.t -> unit
  val computeFirstPredecessor :
    Cil_types.stmt ->
    Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t
  val combinePredecessors :
    Cil_types.stmt ->
    old:Dataflow.ForwardsTransfer.t ->
    Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t option
  val doInstr :
    Cil_types.stmt ->
    Cil_types.instr ->
    Dataflow.ForwardsTransfer.t ->
    Dataflow.ForwardsTransfer.t Dataflow.action
  val doGuard :
    Cil_types.stmt ->
    Cil_types.exp ->
    Dataflow.ForwardsTransfer.t ->
    Dataflow.ForwardsTransfer.t Dataflow.guardaction *
    Dataflow.ForwardsTransfer.t Dataflow.guardaction
  val doStmt :
    Cil_types.stmt ->
    Dataflow.ForwardsTransfer.t ->
    Dataflow.ForwardsTransfer.t Dataflow.stmtaction
  val filterStmt : Cil_types.stmt -> bool
  val stmt_can_reach : Cil_types.stmt -> Cil_types.stmt -> bool
  val doEdge :
    Cil_types.stmt ->
    Cil_types.stmt ->
    Dataflow.ForwardsTransfer.t -> Dataflow.ForwardsTransfer.t
  module StmtStartData :
    sig
      type data = t
      val clear : unit -> unit
      val mem : Cil_types.stmt -> bool
      val find : Cil_types.stmt -> data
      val replace : Cil_types.stmt -> data -> unit
      val add : Cil_types.stmt -> data -> unit
      val iter : (Cil_types.stmt -> data -> unit) -> unit
      val length : unit -> int
    end
end