{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
            // we're using a single notion of reachability to represent what used to be _two_
            // Here, we have a conundrum. There's currently a weakness in our theory, in that
            // different transitive closures. It didn't seem impactful when coming up with the