Repair an issue with the level-based model of AA trees.
Improve wording of level-based AA tree rules