@Override
      protected void afterInterpretation(@NotNull ControlFlow flow,
                                         @NotNull StandardDataFlowInterpreter interpreter,
                                         @NotNull RunnerResult result) {
        if (result == RunnerResult.OK) {
          Set<PsiElement> unreachable = ((ReachabilityCountingInterpreter)interpreter).getUnreachable();
          listener.myResult.myUnreachable.addAll(DataFlowIRProvider.computeUnreachableSegments(block, unreachable));
        }
        super.afterInterpretation(flow, interpreter, result);
      }
@Override
      protected void afterInterpretation(@NotNull ControlFlow flow,
                                         @NotNull StandardDataFlowInterpreter interpreter,
                                         @NotNull RunnerResult result)