CCHPOCheckSignedToUnsignedCastUB
val check_signed_to_unsigned_cast_ub : CCHAnalysisTypes.po_query_int -> CCHBasicTypes.ikind -> CCHBasicTypes.ikind -> CCHBasicTypes.exp -> bool