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