void push(@NotNull InstructionKey fromKey, @NotNull InstructionKey nextKey) {
      myFrom.push(fromKey);
      myNext.push(nextKey);
    }
void push(@NotNull InstructionKey fromKey, @NotNull InstructionKey nextKey)