CCHPOCheckOutputParameterInitialized
val check_outputparameter_initialized : CCHAnalysisTypes.po_query_int -> CCHBasicTypes.varinfo -> CCHBasicTypes.offset -> bool