Assertion list for term "a safety function".

Results from Ascent++: 1
short circuit HasAa safety function 0.25