{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"propagate_loans_between_points("}]}
                    propagate_loans_between_points(
                    let next_point = liveness.point_from_location(next_location);
                        current_point,