Assertion: variable | /r/HasProperty | written
Facets:
Source sentences:
text: A variable is live at some point if it holds a value that may be needed in the future, or equivalently if its value may be read before the next time the variable is written to.