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