let get_jump_controled_stmts ctrl_dpds_infos jump =
  let lex_succ_graph, infos = ctrl_dpds_infos in
  let lex_suc = 
    try Lexical_successors.find lex_succ_graph jump
    with Not_found -> assert false
  in
  let label = match jump.succs with | [label] -> label | _ -> assert false in
  let controled_stmts =  jump_controled_stmts infos jump label lex_suc in
  Pdg_parameters.debug ~dkey "controled_stmt for jump sid:%d = %a"
    jump.sid Stmt.Hptset.pretty controled_stmts;
  controled_stmts