Example 4.1. Is tree balanced