public static AbstractPosition getAbstractPositionFor(@NotNull Position position) {
    return switch (position) {
      case atLeft -> AT_LEFT;
      case atRight -> AT_RIGHT;
      case above -> ABOVE;
      case below -> BELOW;
    };
  }
public static AbstractPosition getAbstractPositionFor(@NotNull Position position)