CCHPOCheckIndexUpperBound
val check_index_upper_bound : CCHAnalysisTypes.po_query_int -> CCHBasicTypes.exp -> CCHBasicTypes.exp -> bool