RedBlackTree.prototype.rotateLeft = function (x) {
    var y = x.getRight();
    x.right = y.getLeft();
    if (typeof y.getLeft().key !== 'undefined') {
      y.getLeft().parent = x;