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