default void replacePred(@NotNull Instruction oldInstruction, @NotNull Collection<? extends Instruction> newInstructions) {
    newInstructions.forEach(el -> addPred(el));
    allPred().remove(oldInstruction);
  }
default void replacePred(@NotNull Instruction oldInstruction, @NotNull Collection<? extends Instruction> newInstructions)