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