Before revision:  ( 4 ) All nodes at the current level and higher levels are labeled and there are no label overlaps;
After revision:  ( 5 ) All nodes at the current level and higher levels are labeled and there are no label overlaps;