Assertion: parameter's value | /r/HasProperty | changed
Facets:
value: during the function call
type: TEMPORAL
Source sentences:
text: The value of arg in Main is changed.
text: const then the value of the object may be changed during the function call itself.