Here’s a relatively simple question that should not start a runaway thread (!?)
Is “assume” something the user supplies information with, like “assert”,
Or is “assume” something the compiler inserts as a result of analysis,
I originally thought it was the former, but these various emails have convinced me
That it is instead the later (except for the comment about “contracts”, which I hope
We can leave out of the discussion for now).
(I also ask that no one replies to this thread saying that the user is not “supplying information”
With assert, that is a separate thread !!!)