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