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