Assertion: local variable | /r/HasProperty | given distinct addresses
Facets:
Source sentences:
text: This means that when a recursive function calls itself, local variables in each instance of the function are given distinct addresses.