Assertion list
trigger (primary) → HasSubevent
Results from Ascent++: 2
trigger → HasSubevent → consistent trigger pull 0.25
trigger → HasSubevent → death 0.25