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