default void addSucc(@NotNull Instruction endInstruction) {
    if (!allSucc().contains(endInstruction)) {
      allSucc().add(endInstruction);
    }
  }
default void addSucc(@NotNull Instruction endInstruction)