Adds some contracts, apparently I need to update my build of Code Contracts locally.