sig
  val name : string
  val debug : bool
  type t = Liveness.VS.t
  module StmtStartData :
    sig
      type data = VS.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
  val pretty : Format.formatter -> Liveness.VS.t -> unit
  val funcExitData : Liveness.VS.t
  val combineStmtStartData :
    Cil_types.stmt ->
    old:Liveness.LiveFlow.t ->
    Liveness.LiveFlow.t -> Liveness.LiveFlow.t option
  val combineSuccessors : Liveness.VS.t -> Liveness.VS.t -> Liveness.VS.t
  val doStmt : Cil_types.stmt -> Liveness.UD.VS.t Dataflow2.action
  val doInstr : '-> Cil_types.instr -> '-> Liveness.VS.t Dataflow2.action
  val filterStmt : '-> '-> bool
end