Predicate isNonNegative

predicate isNonNegative(Expr e)