CodeContracts - Initial commit