Assertion: tree | /r/HasAspect | same black height
Facets:
Source sentences:
text: If the two trees have the same black height, Join simply create a new node with left subtree t 1 , root k and right subtree t 2 .