Assertion list for term "delivered after a stack switch operation".
Results from Ascent++: 1
exception → ReceivesAction → delivered after a stack switch operation 0.26