Using Code Contracts in Domain & Storage Adapter projects