let display_all_warnings_about_loops_specs() =
  let sortedLoopsIndex =
    List.sort (fun r1 r2 ->
                        if !r1.sid > !r2.sid then 1
                 else if !r1.sid < !r2.sid then -1
                 else 0
              ) (Data_for_aorai.get_loops_index ())
  in
  List.iter
    (fun stmt_ref ->
       if (is_empty_pre_post (Data_for_aorai.get_loop_ext_pre stmt_ref)) &&
            (is_empty_post_bc  (Data_for_aorai.get_loop_ext_pre_bycase stmt_ref)) then 
            (pasEtatAvantLoop !stmt_ref.sid);

       if (is_empty_pre_post (Data_for_aorai.get_loop_ext_post stmt_ref)) &&
            (is_empty_post_bc  (Data_for_aorai.get_loop_ext_post_bycase stmt_ref)) then 
            (pasEtatApresLoop !stmt_ref.sid);


       if (is_empty_pre_post (Data_for_aorai.get_loop_int_pre stmt_ref)) &&
            (is_empty_post_bc  (Data_for_aorai.get_loop_int_pre_bycase stmt_ref)) then 
            (pasEtatAvantLoopBlock !stmt_ref.sid);

       if (is_empty_pre_post (Data_for_aorai.get_loop_int_post stmt_ref)) &&
            (is_empty_post_bc  (Data_for_aorai.get_loop_int_post_bycase stmt_ref)) then 
            (pasEtatApresLoopBlock !stmt_ref.sid)
    )
    sortedLoopsIndex