Optimized rotateRight in IBSAVL