[analyzer] Fix tracking expressions through negation operator
ClosedPublic

Authored by george.karpenkov on Thu, Aug 9, 2:34 PM.