private static @NotNull Set<Exact> withSuper(@NotNull Set<Exact> instanceofValues) {
      return StreamEx.of(instanceofValues).flatMap(Exact::superTypes).append(instanceofValues).toSet();
    }
private static @NotNull Set<Exact> withSuper(@NotNull Set<Exact> instanceofValues)