Eiffel Base Testing support classes