Assertion: return | /r/HasProperty | executed
Facets:
Source sentences:
text: Once return is executed, the rest of the code won't be executed.