private static void Test1(System.Xml.Linq.XDocument doc, System.Type type)
        {
            Contract.Requires(type != null);

            Contract.Assert(doc.Annotations(type) != null);
        }