The `become` keyword changes behavior: it drops variables before the return.