Assertion: variable's value | /r/HasProperty | unchanged
Facets:
value: at the last exit
type: TEMPORAL
value: from their values
type: OTHER
Source sentences:
text: This has the following effect: upon a re-entry into the block, the values of own quantities will be unchanged from their values at the last exit, while the values of declared variables that are not marked with own is undefined.