H. S. Teoh: > IMO the correct solution is for the compiler to insert > preconditions at the calling site, I have seen this suggestion tens of times, but nothing has happened. (delegates make the management of contract blame more compex). Bye, bearophile