{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"//"}]}
            // to stop the search anyhow. (But see Note 1 below.)
            // a *definition* of the variable, in which case we want
            if !self.cx.initialized_at_exit(pred_block, mpi) {