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