Change the test to show the contract violate exception