sig   val name : string   val debug : bool   type t   val copy : Dataflow2.ForwardsTransfer.t -> Dataflow2.ForwardsTransfer.t   val pretty : Format.formatter -> Dataflow2.ForwardsTransfer.t -> unit   val computeFirstPredecessor :     Cil_types.stmt ->     Dataflow2.ForwardsTransfer.t -> Dataflow2.ForwardsTransfer.t   val combinePredecessors :     Cil_types.stmt ->     old:Dataflow2.ForwardsTransfer.t ->     Dataflow2.ForwardsTransfer.t -> Dataflow2.ForwardsTransfer.t option   val doInstr :     Cil_types.stmt ->     Cil_types.instr ->     Dataflow2.ForwardsTransfer.t -> Dataflow2.ForwardsTransfer.t   val doGuard :     Cil_types.stmt ->     Cil_types.exp ->     Dataflow2.ForwardsTransfer.t ->     Dataflow2.ForwardsTransfer.t Dataflow2.guardaction *     Dataflow2.ForwardsTransfer.t Dataflow2.guardaction   val doStmt :     Cil_types.stmt ->     Dataflow2.ForwardsTransfer.t ->     Dataflow2.ForwardsTransfer.t Dataflow2.stmtaction   val doEdge :     Cil_types.stmt ->     Cil_types.stmt ->     Dataflow2.ForwardsTransfer.t -> Dataflow2.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