remove output pollution
fixed postcondition
cosmetics
new year and we're started to work on the Bell release
oops
Merge branch 'master' of git.sv.gnu.org:/srv/git/liberty-eiffel