let process_jump_or_loop_stmt pdg ctrl_dpds_infos jump =
  let controled_stmt_list =
    CtrlDpds.get_jump_controled_stmts ctrl_dpds_infos jump
  in
  BuildPdg.process_jump pdg jump controled_stmt_list