{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"self.facts.loan_killed_at.push((borrow_index,"}]}
                            self.facts.loan_killed_at.push((borrow_index, location_index));
                            let location_index = self.location_table.mid_index(location);
                        }