{"ast_node_type":"variable","tokens":[{"end":70,"kind":"keyword","start":0,"text":"let"}]}
            let introduction = self.borrow_set[loan].reserve_location;
        let filter_unreachable_kills = |loan| {
            let reachable = introduction.is_predecessor_of(location, self.body);