Case 3: node, parent and uncle are red

this is a LLr or RRr conflict we recolor recursively the tree to the root

Property definitions

trees $ RBTreeMap :: insert_fixup_case3
	# 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