let display_all_warnings_about_specs () =
  display_all_warnings_about_operations_specs ();
  display_all_warnings_about_loops_specs ()