{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"//"}]}
        // Walk each SCC `B` such that `A: B`...
    fn compute_value_for_scc(&mut self, scc_a: ConstraintSccIndex) {
        for &scc_b in self.constraint_sccs.successors(scc_a) {