default void replaceSucc(@NotNull Instruction oldInstruction, @NotNull Collection<? extends Instruction> newInstructions) {
    newInstructions.forEach(el -> addSucc(el));
    allSucc().remove(oldInstruction);
  }
default void replaceSucc(@NotNull Instruction oldInstruction, @NotNull Collection<? extends Instruction> newInstructions)