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