CCHPOCheckNonNegative
val check_non_negative : CCHAnalysisTypes.po_query_int -> CCHBasicTypes.exp -> bool