let get_last_state pdg =
  Pdg_state.get_last_state (Pdg.get_states pdg)