{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
            // needed for correctness, since an SCC upstream of another with
            // Optimisation opportunity: this will add more constraints than
            // a universe violation will "infect" its downstream SCCs to also