Code contracts added.