RunnerResult (@NotNull PsiElement psiBlock, @NotNull DfaListener listener, @NotNull Collection<? extends DfaMemoryState> initialStates) { ControlFlow flow = buildFlow(psiBlock); if (flow == null) return RunnerResult.NOT_APPLICABLE; return analyzeFlow(psiBlock, listener, initialStates, flow); }