{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"}"}]}
                } else if self.region_definition(lub).external_name.is_some() {
                    lub = ur;
                    // Leave lub unchanged