{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"for"}]}
            for constraint in self.regioncx.applied_member_constraints(scc) {
            let scc = sccs.scc(successor);
                if universal_regions.is_universal_region(constraint.min_choice) {