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
Macros.debug 1 "controled_stmt for cond %d = %a"
stmt.sid S.pretty controled_stmts;
let controled_stmts = S.elements controled_stmts in
controled_stmts