trees :: RBTreeMap :: insert_fixup_case3
this is a LLr or RRr conflict we recolor recursively the tree to the root
# Case 3: node, parent and uncle are red
# this is a LLr or RRr conflict
# we recolor recursively the tree to the root
private fun insert_fixup_case3(node: N) do
if node.uncle != null and node.uncle.is_red then
node.parent.is_red = false
node.uncle.is_red = false
node.grandparent.is_red = true
insert_fixup_case1(node.grandparent.as(not null))
else
insert_fixup_case4(node)
end
end
lib/trees/rbtree.nit:77,2--89,4