Searching in python/testData/completion/heavyStarPropagation/lib