@Override
  public @NotNull List<@NotNull DfaInstructionState> dispatch(@NotNull DfaMemoryState state,
                                                              @NotNull DataFlowInterpreter interpreter) {
    state.flushVariables(var -> myVarsToFlush.contains(var.getDescriptor()));
    return List.of(new DfaInstructionState(interpreter.getInstruction(myOffset.getInstructionOffset()), state));
  }
@Override
  public @NotNull List<@NotNull DfaInstructionState> dispatch(@NotNull DfaMemoryState state,
                                                              @NotNull DataFlowInterpreter interpreter)