AbstractTestProxy (@NotNull final String testName) { final AbstractTestProxy test = BaseSMTRunnerTestCase.findTestByName(testName, myProxyManager.getProxy()); assert test != null : "No test found with name" + testName; return test; }