Searching in python/testData/intentions/PythonDemorganLawIntentionTest