internal void CheckProperties() { #if DEBUG if (root != null) { CheckProperties(root); // check red-black property: var blackCount = -1; CheckNodeProperties(root, null, RED, 0, ref blackCount); } #endif }