private void AssertDOD(List<XPathNavigator> buffer, XPathNavigator nav, int pos) {
if (nav.GetType().ToString() == "Microsoft.VisualStudio.Modeling.StoreNavigator") return;
if (nav.GetType().ToString() == "System.Xml.DataDocumentXPathNavigator") return;
Debug.Assert(0 <= pos && pos <= buffer.Count, "Algorithm error: Insert()");
XmlNodeOrder cmp;
if (0 < pos) {
cmp = CompareNodes(buffer[pos - 1], nav);
Debug.Assert(cmp == XmlNodeOrder.Before, "Algorithm error: Insert()");
}
if (pos < buffer.Count) {
cmp = CompareNodes(nav, buffer[pos]);
Debug.Assert(cmp == XmlNodeOrder.Before, "Algorithm error: Insert()");
}
}