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 ->
       Aorai_option.result "#   stmt.sid=%d" stmt.sid;
       Aorai_option.result "#      loop pres  : %s"
         (Spec_tools.debug_display_stmt_all_pre 
            (Data_for_aorai.get_loop_ext_pre stmt));
       Aorai_option.result "#                   %s"
         (Spec_tools.debug_display_stmt_all_pre_bycase
            (Data_for_aorai.get_loop_ext_pre_bycase stmt));

       Aorai_option.result "#      block pres : %s"
         (Spec_tools.debug_display_stmt_all_pre 
            (Data_for_aorai.get_loop_int_pre stmt));
       Aorai_option.result "#                   %s"
         (Spec_tools.debug_display_stmt_all_pre_bycase 
            (Data_for_aorai.get_loop_int_pre_bycase stmt));

       Aorai_option.result "#      block posts: %s"
         (Spec_tools.debug_display_stmt_all_pre 
            (Data_for_aorai.get_loop_int_post stmt));
       Aorai_option.result "#                   %s"
         (Spec_tools.debug_display_stmt_all_pre_bycase 
            (Data_for_aorai.get_loop_int_post_bycase stmt));

       Aorai_option.result "#      loop posts : %s"
         (Spec_tools.debug_display_stmt_all_pre 
            (Data_for_aorai.get_loop_ext_post stmt));
       Aorai_option.result "#                   %s"
         (Spec_tools.debug_display_stmt_all_pre_bycase 
            (Data_for_aorai.get_loop_ext_post_bycase stmt));
    )
    sortedLoopsIndex;
  (* Aorai_option.result  *)
  display "# End of loops specification\n########\n"