Revert "Revert "Revert "Completely rewrite reifiedIntTypeAnalysis, making it more streamline"""

This reverts commit 5567033b

compiler/testData/codegen/box/coroutines/varSpilling/kt38925.kt

@@ -1,29 +0,0 @@
-// KJS_WITH_FULL_RUNTIME
-// WITH_RUNTIME
-// WITH_COROUTINES
-// COMMON_COROUTINES_TEST
-import helpers.*
-import COROUTINES_PACKAGE.*
-import COROUTINES_PACKAGE.intrinsics.*
-
-fun foo() {
-    bar {
-        val p = false
-        baz(p, "".ifEmpty { "OK" })
-    }
-}
-
-var res = "FAIL"
-
-fun bar(f: suspend () -> Unit) {
-    f.startCoroutine(EmptyContinuation)
-}
-
-fun baz(p: Boolean, s: String?) {
-    res = s!!
-}
-
-fun box(): String {
-    foo()
-    return res
-}