FILE: nonRepeatingAssignment.kt
    public final fun foo(): R|kotlin/Unit| {
        lvar x: R|kotlin/Int| = Int(0)
        lval y: R|kotlin/Int| = Int(0)
        lval z: R|kotlin/Int| = Int(0)
        R|<local>/x| = R|<local>/y|.R|kotlin/Int.plus|(R|<local>/z|)
    }
