// EXPECTED_REACHABLE_NODES: 1280
package foo

fun box(): String {
    val a = 2;
    val b = 3;
    var c = 4;
    return if (a < c) "OK" else "fail"
}