{"ast_node_type":"function","tokens":[{"end":68,"kind":"keyword","start":0,"text":"fn"}]}
    fn compute_value_for_scc(&mut self, scc_a: ConstraintSccIndex) {
    #[instrument(skip(self), level = "debug")]
        // Walk each SCC `B` such that `A: B`...