.NET 4代码契约:“需要未经验证的:source != null”

I just started using code contracts in my project. However, I have a problem with my repository implementation, which queries my database using the Entity Framework.I just started using code contracts in my proje