let warn_all_quiet_mode () = if Value_parameters.verbose_atleast 1 then CilE.warn_all_mode else { CilE.warn_all_mode with CilE.imprecision_tracing = CilE.Aignore }