Updates to code contracts.