NullValueAnalysis: Implemented out/ref annotations.