the actual excluded.lst from the SmartEiffel test suite.