sig type t val compute : Cil_types.kernel_function -> CtrlDpds.??.t val find : CtrlDpds.??.t -> Cil_types.stmt -> Cil_types.stmt end