{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
        // the successor blocks. An occupied entry at `block` in `self.visited` signals that we
        // Given that we observe these dropped locals here at `block` so far, we will try to update
        // have visited `block` before.