{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"nodes_per_scc[scc].push(region);"}]}
        nodes_per_scc[scc].push(region);
        let scc = regioncx.constraint_sccs().scc(region);
    }