{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"vids.into()"}]}
        vids.into()
        let vids: Vec<ConstraintSccIndex> = self.regioncx.constraint_sccs.all_sccs().collect();
    }