NullValueAnalysis now supports for statements.