while(CMP(<, R|<local>/x|.R|kotlin/Int.compareTo|(Int(2)))) {
     {
        [ResolvedTo(BODY_RESOLVE)] lval <unary>: R|kotlin/Int| = R|<local>/x|
        R|<local>/x| = R|<local>/<unary>|.R|kotlin/Int.dec|()
        R|<local>/<unary>|
    }

    [ResolvedTo(BODY_RESOLVE)] lval z: R|kotlin/Int| = R|<local>/y|
}
