NullValueAnalysisTests: New failing test case (with if statement).
NullValueAnalysis: Early support for binary operators. Throw exception when handling +=/-=/etc. since the code didn't consider that case yet anyway.