// RUN_PIPELINE_TILL: FRONTEND
fun case(): String {
    val x0 = false
    val x1: String
    val x: Boolean
    try {
        <!VAL_REASSIGNMENT!>x0<!> = (throw Exception()) || true  //VAL_REASSIGNMENT should be
        !<!UNINITIALIZED_VARIABLE!>x<!> //ok, unreachable code   UNINITIALIZED_VARIABLE should be
        val a: Int = <!UNINITIALIZED_VARIABLE!>x1<!>.toInt() //ok, unreachable code UNINITIALIZED_VARIABLE should be
    } catch (e: Exception) {
        return "OK"
    }
    return "NOK"
}

/* GENERATED_FIR_TAGS: assignment, disjunctionExpression, functionDeclaration, localProperty, propertyDeclaration,
stringLiteral, tryExpression */
