{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
        // However, the current code would, when walking back from BB2,
        //
        // simply stop and never explore BB0. This seems bad! But it turns