Binary search2

This tree is actually balanced (balance() should return 0).