sig   type t   val compute : Kernel_function.t -> CtrlDpds.t   val get_if_controled_stmts :     CtrlDpds.t -> Cil_types.stmt -> Cil_datatype.Stmt.Hptset.t   val get_jump_controled_stmts :     CtrlDpds.t -> Cil_types.stmt -> Cil_datatype.Stmt.Hptset.t   val get_loop_controled_stmts :     CtrlDpds.t -> Cil_types.stmt -> Cil_datatype.Stmt.Hptset.t end