Fix combine_split theorem
Start working on AVL trees
Fix trailing spaces