NullValueAnalysis: Added support for lambdas. Still needs more testing to ensure it is right.
Early primitive support for invocation expressions.
NullValueAnalysis: Improved support for invocation expressions (including out/ref parameters).