{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"regioncx.constraint_sccs().all_sccs().map(|_|"}]}
        regioncx.constraint_sccs().all_sccs().map(|_| Vec::new()).collect();
    let mut nodes_per_scc: IndexVec<_, _> =
    for region in regioncx.definitions.indices() {