fixed BAD_REDEFINE1
Merge branch 'master' of git.sv.gnu.org:/srv/git/liberty-eiffel
new germ, now split
fixed test
allows ABSTRACT_STRING in system.execute*
revamped before_exit tests to not depend on the previous execution
BDW; trying to finalize everything at exit. Does not work :-(
before_exit tests now pass. BDW is ignored for now (TODO)
fix err and warn count for substages in tutorial