boolean (@NotNull RunnerAndConfigurationSettings settings, @Nullable RunContentDescriptor descriptor) { return descriptor != null && descriptor.getExecutionConsole() instanceof SMTRunnerConsoleView; }