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