Predicate signature SignAnalysisSig::semMayBePositive
Holds if e may have positive values. This does not rule out the
possibility for negative values.
signature predicate semMayBePositive(Expr e)Holds if e may have positive values. This does not rule out the
possibility for negative values.
signature predicate semMayBePositive(Expr e)