let
raise_predicate_alarm () = raise
Predicate_alarm