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