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