RB Insert: Case 2
// continue with case 3 code
Case 2:
- “Uncle” is black
- Node x is a right child
Transform to case 3 via a left-rotation
Transform case 2 into case 3 (x is left child) with a left rotation
This preserves property 4: all downward paths contain same number of black nodes