Fixed #5968 (False positive: 'Possible null pointer dereference' when checking null in negated conjuction)