@Override
  protected DfaInstructionState @NotNull [] acceptInstruction(@NotNull DfaInstructionState instructionState) {
    myReached.set(instructionState.getInstruction().getIndex());
    return super.acceptInstruction(instructionState);
  }
@Override
  protected DfaInstructionState @NotNull [] acceptInstruction(@NotNull DfaInstructionState instructionState)