}
} else {
if (getNodeColor(y) === NodeColor.Red) {
setNodeColor(x.parent, NodeColor.Black);
setNodeColor(y, NodeColor.Black);
setNodeColor(x.parent.parent, NodeColor.Red);
x = x.parent.parent;
if (x === x.parent.left) {
x = x.parent;