@Override
    public @NotNull InitMode join(@NotNull InitMode nextMode) {
      if (nextMode == NOT_INITIALIZED) return this;
      if (this == BOTTOM || this == INITIALIZED) return BOTTOM;
      return nextMode;
    }
@Override
    public @NotNull InitMode join(@NotNull InitMode nextMode)