{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"//"}]}
        // its `scc_values` at this point.
        // As we require `'scc: 'min_choice`, we have definitely already computed
        let min_choice_scc = self.constraint_sccs.scc(min_choice);