Removed old tree_rotation header