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