2-3-4 tree based red black tree: correct solution