@Override
  public int compareTo(@NotNull DfaInstructionState o) {
    return Integer.compare(myInstruction.getIndex(), o.myInstruction.getIndex());
  }
@Override
  public int compareTo(@NotNull DfaInstructionState o)