private function moveRedLeft(RedBlackTree $t)
{
$t = $this->flipColors($t);
if (!$this->isRed($t->right()->left())) {
return $t;
}
return $this->rotateLeft(new self($t->key(), $t->value(), $t->left(), $this->rotateRight($t->right()), $t->color(), $t->isRoot()));
}