Added non-Void contracts for classes previously flagged by AutoTest
Response to comments from review "Contracts for non-Void-safe users (take 1)"
used across for assertion
Merge pull request #40 from colin-adams/master

Contracts for non-Void-safe users (take 1)
Further contracts for non-Void-safe users
Merge branch 'master' of github.com:EiffelWebFramework/EWF
Corrected header comment in response to code review of pull-request
Amended header comment in response to code review of pull-request
Merge pull request #41 from colin-adams/master

Contracts for non-Void-safe users (take 2)