@Override
    public @NotNull Iterator<Instruction> getOut(Instruction instruction) {
      int[] next = instruction.getSuccessorIndexes();
      return indicesToInstructions(next);
    }
@Override
    public @NotNull Iterator<Instruction> getOut(Instruction instruction)