Just insert class EIFFELTEST_TOOLS in your TEST_* class. See also command eiffeltest.
ANY
Check that test is actually True.