Predicate PossibleLossOfPrecision::exactDivision

Holds if div is an exact integer division.

predicate exactDivision(DivExpr div)