Microsoft Contracts：程序集加载导致元数据导入警告

Question

我正在尝试学习 Microsoft Code Contracts 库，我有以下简单的功能：

internal static Engine CreateBuildEngine(Microsoft.Build.Framework.ILogger logger)
{
    Contract.Requires( logger != null );

    var engine = new Engine { DefaultToolsVersion = "3.5" };
    engine.RegisterLogger(logger);
    return engine;
}

当尝试编译它时，合同静态编译器会抛出以下警告消息：

warning : contracts: Assembly load resulted in metadata import 'Could not resolve member reference: Microsoft.Build.BuildEngine.Engine::set_DefaultToolsVersion.'

然后立即放弃（并且不会尝试进行任何进一步的合同处理）。 如果我删除设置 DefaultToolsVersion 的代码，那么合约验证器可以正常工作，但是这是毫无意义的，因为它会导致代码不正确。

我在谷歌上找不到任何提及这一点...有什么方法可以解决这个问题，或者这只是合同库中的一个错误？ （诚​​然，它处于预发布状态）

谢谢