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 :     '-> 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 : '-> '-> '-> '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