The Semantics of Contract Checks

When there's no contract violation it checks it or doesn't check it and then code continues normally because that's what you want your program to be doing all the time. The MVP will not include assume as a semantic but I sort of hope your favorite compiler vendor will introduce it for you, he says. "It really fits the complete picture and should be part of that"