Fix jdk internal types

Author: Saloed

usvm-jvm/src/main/kotlin/org/usvm/machine/interpreter/JcFixedInheritorsNumberTypeSelector.kt

@@ -6,6 +6,7 @@ import org.jacodb.api.JcClassType
 import org.jacodb.api.JcMethod
 import org.jacodb.api.JcType
 import org.jacodb.api.ext.constructors
+import org.jacodb.api.ext.packageName
 import org.jacodb.impl.features.classpaths.JcUnknownType
 import org.usvm.machine.logger
 import org.usvm.types.TypesResult
@@ -75,6 +76,10 @@ class JcTypeStreamPrioritization(private val typesToScore: Int) {
                 return Double.NEGATIVE_INFINITY
             }
 
+            if (!type.jcClass.declaration.location.isRuntime || type.jcClass.packageName.startsWith("java.")) {
+                score += 1000000
+            }
+
             // prefer class types over arrays
             score += 1