How to Use Contracts to Prevent Undefined Behavior

The time travel has to be stopped somehow. There was a proposal we discussed previously that suggested separating program your program into components. That was supposed to help with the termination option of contract violation handling. Other users want to use contracts as a mechanism not to prevent undefined behavior but to prevent behavior they don't like. Yep. Right. So that so basically the sometimes you use contracts to stop before you would cause undefined behavior, and you can trigger exceptions and destructors and stack unwinds for example.