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