Exceptions handled by CodeContracts