public string Check(IDocument document) { Contract.Requires(document != null); return ""; } #pragma warning disable