let debug_display_all_specs () =
  (* Step 1 : Displaying operations specification *)
  display_operations_spec_sorted_bycase ();


  (* Step 2 : Displaying loops specification *)
  (* Aorai_option.result *)
  display "\n########\n# Loops specification:\n#";
  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 ->
       Aorai_option.result "#   stmt.sid=%d" !stmt_ref.sid;
       Aorai_option.result "#      loop pres  : %s" 
         (Spec_tools.debug_display_stmt_all_pre (Data_for_aorai.get_loop_ext_pre stmt_ref));
       Aorai_option.result "#                   %s" 
         (Spec_tools.debug_display_stmt_all_pre_bycase (Data_for_aorai.get_loop_ext_pre_bycase stmt_ref));

       Aorai_option.result "#      block pres : %s" 
         (Spec_tools.debug_display_stmt_all_pre (Data_for_aorai.get_loop_int_pre stmt_ref));
       Aorai_option.result "#                   %s" 
         (Spec_tools.debug_display_stmt_all_pre_bycase (Data_for_aorai.get_loop_int_pre_bycase stmt_ref));
       
       Aorai_option.result "#      block posts: %s" 
         (Spec_tools.debug_display_stmt_all_pre (Data_for_aorai.get_loop_int_post stmt_ref));
       Aorai_option.result "#                   %s" 
         (Spec_tools.debug_display_stmt_all_pre_bycase (Data_for_aorai.get_loop_int_post_bycase stmt_ref));

       Aorai_option.result "#      loop posts : %s" 
         (Spec_tools.debug_display_stmt_all_pre (Data_for_aorai.get_loop_ext_post stmt_ref));
       Aorai_option.result "#                   %s" 
         (Spec_tools.debug_display_stmt_all_pre_bycase (Data_for_aorai.get_loop_ext_post_bycase stmt_ref));


    )
    sortedLoopsIndex;
  (* Aorai_option.result  *)
  display "# End of loops specification\n########\n"