@Override
    public int compareTo(@NotNull InstructionState other) {
      return myInstructionKey.compareTo(other.myInstructionKey);
    }
@Override
    public int compareTo(@NotNull InstructionState other)