{"ast_node_type":"function","tokens":[{"end":72,"kind":"keyword","start":0,"text":"fn"}]}
    fn scc_representative(&self, scc: ConstraintSccIndex) -> RegionVid {
    /// mean they are unequal).
        self.scc_annotations[scc].representative.rvid()