Debugged AVL rotation