Predicate BadCheckOdd::isDefinitelyPositive

predicate isDefinitelyPositive(Expr e)