NullValueAnalysis: Added support for unsafe blocks.