let raise_predicate_alarm () = raise Predicate_alarm