NullValueAnalysis: Early support for member reference expressions.