[BODY_RESOLVE] lval y: R|kotlin/Int| = R|<local>/f|