Assertion list
short circuit (primary) → HasA
Results from Ascent++: 1
short circuit → HasA → a safety function 0.25