Add Code Contracts to interfaces and Disposer