CCHPOCheckOutputParameterUnaltered
val check_outputparameter_unaltered : CCHAnalysisTypes.po_query_int -> CCHBasicTypes.varinfo -> CCHBasicTypes.offset -> bool