{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"self.facts.cfg_edge.push(("}]}
        self.facts.cfg_edge.push((
        // Also record CFG facts here.
            self.location_table.start_index(location),