let find_location_nodes_at_end pdg loc =
  find_loc_nodes pdg (get_last_state pdg) loc