let get_loop_controled_stmts ctrl_dpds_infos loop =
  let lex_succ_graph, infos = ctrl_dpds_infos in
  let lex_suc = 
    try Lexical_successors.find lex_succ_graph loop 
    with Not_found -> (* must have at least a return *) assert false
  in
  let jump = loop in
  let label = match loop.succs with [head] -> head | _ -> assert false in
  let controled_stmts = jump_controled_stmts infos jump label lex_suc in
    Pdg_parameters.debug ~dkey "controled_stmt for loop sid:%d = %a"
      loop.sid Stmt.Hptset.pretty controled_stmts;
    controled_stmts