代码协定自定义==断言错误

我正在编写一个简单的二维物理引擎，我已经重写了Vector2结构的==，如下所示：

[Pure]
public static bool operator ==(Vector2 v1, Vector2 v2)
{
  Contract.Ensures(Contract.Result<bool>() == (v1.x == v2.x && v1.y == v2.y));
  return v1.x == v2.x && v1.y == v2.y;
}

然而，当我在合同中使用它时。确保我的Circle结构，我会得到以下内容：

public Vector2 Position
{
  get
  {
    Contract.Ensures(Contract.Result<Vector2>() == position);
    Contract.Assert(position == position); // Assert unproven: position == position
    return position;
  }
}

我添加断言作为调试的一种方式。position只是一个私有的Vector2字段，它由结构中唯一的Circle构造函数设置。Vector2本身就是一个结构。