{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
        // simply stop and never explore BB0. This seems bad! But it turns
        // However, the current code would, when walking back from BB2,
        // out this code is flawed anyway -- note that the existing value of