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