unnecessary Disposer.register() (it's already called in KarmaExecutionSession.createSMTRunnerConsoleView)