Predicate AV Rule 212::isNonNegative

predicate isNonNegative(Expr e)