// EXPECTED_REACHABLE_NODES: 1280
package foo

fun box(): String {
    var  i = 0
    var t = ++i + if (i == 0) 0 else 2
    if (t != 3) {
        return "fail: $t"
    }
    return "OK"
}