more tests from the SmartEiffel test suite