CCHPOCheckIndexLowerBound
val check_index_lower_bound : CCHAnalysisTypes.po_query_int -> CCHBasicTypes.exp -> bool