public void TestRedConsistency() { Node max = tree.Maximum(tree.Root); max.Right = new Node(max.Key + 1) { Color = Red }; max.Right.Right = new Node(max.Right.Key + 1) { Color = Red }; TestContext.Progress.WriteLine("Testing RedConsistency after manually violating property 4"); Assert.AreEqual(false, tree.RedConsistency(tree.Root)); }