Hi there!

I wonder why not Ddoc to get some 'in' statement stuff. IMHO, preconditions are part of the interface and would look good in documentanion.

Vladimir