Assertion list
check (primary) → HasSubevent
Results from Ascent++: 3
check → HasSubevent → loss 0.43
check → HasSubevent → overdrawn 0.27
check → HasSubevent → a safety hazard 0.18