default void addPred(@NotNull Instruction beginInstruction) {
    if (!allPred().contains(beginInstruction)) {
      allPred().add(beginInstruction);
    }
  }
default void addPred(@NotNull Instruction beginInstruction)