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