org.jetbrains.kotlin.idea.intentions.ConvertNegatedExpressionWithDemorgansLawIntention
