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