sig
  val name : string
  val debug : bool
  type t = Compute.DomSet.t
  module StmtStartData = PostDom
  val pretty : Format.formatter -> Compute.DomSet.t -> unit
  val combineStmtStartData :
    'a -> old:Compute.DomSet.t -> Compute.DomSet.t -> Compute.DomSet.t option
  val combineSuccessors :
    Compute.DomSet.domset -> Compute.DomSet.domset -> Compute.DomSet.domset
  val doStmt :
    Cil_datatype.Stmt.Hptset.elt -> Compute.DomSet.domset Dataflow2.action
  val doInstr : 'a -> 'b -> 'c -> 'd Dataflow2.action
  val filterIf : Cil_types.stmt -> Cil_datatype.Stmt.t -> bool
  val filterStmt : Cil_types.stmt -> Cil_datatype.Stmt.t -> bool
  val funcExitData : Compute.DomSet.domset
end