Changed contract to allow contracts to be executed after an assertion fails.