Add a method for testing if a Tree obeys the constraints for an AA tree