sig
  type t
  val compute : Cil_types.kernel_function -> CtrlDpds.??.t
  val get :
    CtrlDpds.??.->
    with_s:bool -> Cil_types.stmt -> bool * Cil_datatype.Stmt.Hptset.t
end