let get_stmt_state pdg stmt =
  try State.get_stmt_state (PdgTypes.Pdg.get_states pdg) stmt
  with Not_found -> raise Db.Pdg.NotFound