let warn_raise_mode =
  { CilE.imprecision_tracing = CilE.Aignore ;
    others = CilE.Acall predicate_alarm ;
    unspecified = CilE.Acall predicate_alarm }