private function moveRedRight(RedBlackTree $t) { $t = $this->flipColors($t); if (!$this->isRed($t->left()->left())) { return $t; } return $this->rotateRight($t); }