NullValueAnalysis: Fixed bug DefinitelyNotNull+incoming Unknown should be Unknown, not PotentiallyNull.
Added support for the remaining binary operators.