Fixed bug in null analysis: Incorrect handling of null comparisons

```csharp
string x = Anything();
if (x == notNull) {
   //x is correctly assumed to be not-null here
} else {
  //x was incorrectly assumed to be null here -- we can't possibly know that.
}