functor (X : sig val modified : Cil_types.stmt -> bool end->
  sig
    val name : string
    val debug : bool
    module StmtStartData = States
    type t = StmtStartData.data
    val pretty : Format.formatter -> Datascope.State.t -> unit
    val combineStmtStartData :
      '->
      old:Datascope.State.t -> Datascope.State.t -> Datascope.State.t option
    val combineSuccessors :
      Datascope.State.t -> Datascope.State.t -> Datascope.State.t
    val doStmt : '-> 'Dataflow2.action
    val doInstr :
      Cil_types.stmt ->
      '-> Datascope.State.t -> Datascope.State.t Dataflow2.action
    val filterStmt : '-> '-> bool
    val funcExitData : Datascope.State.t
  end