Assertion: exception | /r/HasProperty | saved
Facets:
Source sentences:
text: The state before the exception is saved, e.g., on the stack.