#175 - Code Contracts: Learning to use Interface Contracts