Balanced Binary tree verification