still fixing termination condition
fixed assignment tests
fix tests
raise Incorrect_inspect_value if the expression is a Void string (except in boost)
fixed inspect tests
eiffeltest_ng: more fixes