but withoutI WITNESS and INVARIANTS ?

Lukas Ertl writes:

>  All of these options are meant for debugging purposes.  So
>  removing them will not just not hurt, but also improve
>  performance. :-)

	On the other hand: if you can afford the perforamnce hit, leave
them in.  As I understand it, the class of problems they (help)
diagnose are usually both subtle and consequential.



				Robert Huff