Predicate narrowerThanOrEqualTo
Holds if the type of exp is narrower than or equal to numType,
or there is an enclosing cast to a type at least as narrow as ‘numType’.
Import path
import semmle.code.java.security.ArithmeticCommonpredicate narrowerThanOrEqualTo(ArithExpr exp, NumType numType)