sig   val name : string   val debug : bool Pervasives.ref   type t   val pretty : Format.formatter -> Dataflow.BackwardsTransfer.t -> unit   val funcExitData : Dataflow.BackwardsTransfer.t   val combineStmtStartData :     Cil_types.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_types.stmt -> Dataflow.BackwardsTransfer.t Dataflow.action   val doInstr :     Cil_types.stmt ->     Cil_types.instr ->     Dataflow.BackwardsTransfer.t ->     Dataflow.BackwardsTransfer.t Dataflow.action   val filterStmt : Cil_types.stmt -> Cil_types.stmt -> bool   val stmt_can_reach : Cil_types.stmt -> Cil_types.stmt -> bool   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