Invariant and pre/post-conditions order

[Manfred Nowak]

Walter Bright wrote:

> I'm not going to swap them without a compelling demonstration of
> its advantages. 

If there are advantages, then the specs are wrong, because they do not 
define the sequence of execution and an optimizing compiler might put 
the calls to <condition>s and `invariant' into different threads 
executed in parallel.

-manfred