sig
  val name : string
  val debug : bool
  type t = Compute.DomSet.t
  module StmtStartData = PostDom
  val pretty : Stdlib.Format.formatter -> Compute.DomSet.t -> unit
  val combineStmtStartData :
    '-> 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_types.stmt -> Compute.DomSet.domset Dataflow2.action
  val doInstr : '-> '-> '-> '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