Assertion: tree's leaf | /r/HasProperty | empty
Facets:
Source sentences:
text: Since the leaves of a red-black tree are empty, // they cannot become internal nodes.
text: Since the leaves of a red-black tree are empty, // they cannot become internal nodes.