{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"self.location_table.mid_index(location),"}]}
            self.location_table.mid_index(location),
        self.facts.cfg_edge.push((
            self.location_table.start_index(location.successor_within_block()),