Searching in python/testData/deprecation/deprecatedElementInPyi