public @Nullable RelationType getFlipped() {
    return switch (this) {
      case LE -> GE;
      case LT -> GT;
      case GE -> LE;
      case GT -> LT;
      case EQ, NE -> this;
      default -> null;
    };
  }
public @Nullable RelationType getFlipped()