let
get_stmt_state pdg stmt =
Pdg_state
.get_stmt_state (
Pdg
.get_states pdg) stmt