Globally-defined assertions can be dynamically selected to be applied to a state by a label-based selector expression. See the Assertions section of the Design document for details.
This improvement is to:
Add labels to assertions - but only for globally-defined assertions, not in-line ones
Add the selector type assertionRef
Update the assertion logic to include matching globally defined assertions when verifying a state.