{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"\"{:?}:"}]}
                "{:?}: {:?},\n)",
            components_str.push_str(&format!(
                ConstraintSccIndex::from_usize(scc_idx),