Assertion list
border (primary) → HasSubevent
Results from Ascent++: 2
border → HasSubevent → a series of closures 0.16
border → HasSubevent → delay 0.16