private static @NotNull Int2ObjectMap<int[]> inferDfaResult(Instruction @NotNull [] flow) {
    final ReachingDefinitionsDfaInstance dfaInstance = new ReachingDefinitionsDfaInstance();
    final ReachingDefinitionsSemilattice lattice = new ReachingDefinitionsSemilattice();
    final DFAEngine<DefinitionMap> engine = new DFAEngine<>(flow, dfaInstance, lattice);
    return postprocess(engine.performForceDFA(), flow);
  }
private static @NotNull Int2ObjectMap<int[]> inferDfaResult(Instruction @NotNull [] flow)