let get_if_controled_stmts ctrl_dpds_infos stmt =
let _, infos = ctrl_dpds_infos in
let add_pdb_s set succ = S.union set (pd_b_but_not_a infos stmt succ) in
let controled_stmts = List.fold_left add_pdb_s S.empty stmt.succs in
Pdg_parameters.debug "controled_stmt for cond %d = %a"
stmt.sid S.pretty controled_stmts;
S.elements controled_stmts