{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"NllRegionVariableOrigin::FreeRegion"}]}
                NllRegionVariableOrigin::FreeRegion => {
            match self.definitions[variable].origin {
                    // For each free, universally quantified region X: