sig
  type t
  val compute : Kernel_function.t -> CtrlDpds.t
  val get_if_controlled_stmts :
    CtrlDpds.t -> Cil_types.stmt -> Cil_datatype.Stmt.Hptset.t
  val get_jump_controlled_stmts :
    CtrlDpds.t -> Cil_types.stmt -> Cil_datatype.Stmt.Hptset.t
  val get_loop_controlled_stmts :
    CtrlDpds.t -> Cil_types.stmt -> Cil_datatype.Stmt.Hptset.t
end