void (@NotNull ProgressIndicator progress) { if (!Registry.is("wolf.the.problem.solver")) return; WolfTheProblemSolver solver = WolfTheProblemSolver.getInstance(myProject); if (solver instanceof WolfTheProblemSolverImpl impl) { impl.startCheckingIfVincentSolvedProblemsYet(progress, this); } }