Fixed another bug in NullValueAnalysis -- also related to comparisons between non-null values.