NullValueAnalysis: Implemented TerminatesExecutionAttribute.