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