sig   type data   val clear : unit -> unit   val mem : Cil_types.stmt -> bool   val find : Cil_types.stmt -> Dataflow2.StmtStartData.data   val replace : Cil_types.stmt -> Dataflow2.StmtStartData.data -> unit   val add : Cil_types.stmt -> Dataflow2.StmtStartData.data -> unit   val iter : (Cil_types.stmt -> Dataflow2.StmtStartData.data -> unit) -> unit   val length : unit -> int end