{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"for"}]}
        for region in self.regions() {
            if let NllRegionVariableOrigin::FreeRegion = self.definitions[region].origin {