Predicate NumericCastCommon::boundedRead

predicate boundedRead(RValue read)