NullValueAnalysis: Added support for many new types of expressions and statements.