1. File should be renamed - file name does not match class full name 2. [This](https://github.com/Microsoft/CodeContracts/blob/b2021fb80abd1dbddd0ff5f2bb146ebe2acb5f9d/Microsoft.Research/Contracts/System.Xml/System.Xml.SchemaSet.cs#L239) contract on `Add` is invalid, as MSDN documentation says about this parameter: > The schema `targetNamespace` property, or **null** to use the `targetNamespace` specified in the schema. So `null` is a valid value.
Addis invalid, as MSDN documentation says about this parameter:So
nullis a valid value.