{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"self.constraint_sccs.all_sccs().map(|_|"}]}
            self.constraint_sccs.all_sccs().map(|_| Vec::new()).collect();
        let mut nodes_per_scc: IndexVec<ConstraintSccIndex, _> =