NullValueAnalysis: Analysis now detects when a variable is not local.
Fixed support for Nullable<T>.HasValue
Improved support for CaptureUnknown.
In x[y] execute y before testing whether x is null.
Improved null value analysis