NullValueAnalysis: Improved accuracy of analysis of non-nullable types.

Non-nullable variables should no longer be considered null after these changes.