let
get_states pdg =
let
pdg = get_pdg_body pdg
in
pdg.states