let store_last_state pdg state =
    Pdg_state.store_last_state (get_states pdg) state