Assertion: graph's vertex | /r/HasProperty | variable
Facets:
Source sentences:
text: The compiler constructs an interference graph, where vertices are variables and an edge connects two vertices if they are needed at the same time.